Rev 1702 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1702 | Rev 1780 | ||
|---|---|---|---|
| Line 107... | Line 107... | ||
| 107 | #define PTE_WRITABLE(p) PTE_WRITABLE_ARCH((p)) |
107 | #define PTE_WRITABLE(p) PTE_WRITABLE_ARCH((p)) |
| 108 | #define PTE_EXECUTABLE(p) PTE_EXECUTABLE_ARCH((p)) |
108 | #define PTE_EXECUTABLE(p) PTE_EXECUTABLE_ARCH((p)) |
| 109 | 109 | ||
| 110 | extern page_mapping_operations_t pt_mapping_operations; |
110 | extern page_mapping_operations_t pt_mapping_operations; |
| 111 | 111 | ||
| 112 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags); |
112 | extern void page_mapping_insert_pt(as_t *as, uintptr_t page, uintptr_t frame, int flags); |
| 113 | extern pte_t *page_mapping_find_pt(as_t *as, __address page); |
113 | extern pte_t *page_mapping_find_pt(as_t *as, uintptr_t page); |
| 114 | 114 | ||
| 115 | #endif |
115 | #endif |
| 116 | 116 | ||
| 117 | #endif |
117 | #endif |
| 118 | 118 | ||