Rev 2927 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2927 | Rev 3403 | ||
---|---|---|---|
Line 114... | Line 114... | ||
114 | #define PTE_GET_FRAME(p) PTE_GET_FRAME_ARCH((p)) |
114 | #define PTE_GET_FRAME(p) PTE_GET_FRAME_ARCH((p)) |
115 | #define PTE_READABLE(p) 1 |
115 | #define PTE_READABLE(p) 1 |
116 | #define PTE_WRITABLE(p) PTE_WRITABLE_ARCH((p)) |
116 | #define PTE_WRITABLE(p) PTE_WRITABLE_ARCH((p)) |
117 | #define PTE_EXECUTABLE(p) PTE_EXECUTABLE_ARCH((p)) |
117 | #define PTE_EXECUTABLE(p) PTE_EXECUTABLE_ARCH((p)) |
118 | 118 | ||
119 | #ifndef __OBJC__ |
- | |
120 | extern as_operations_t as_pt_operations; |
119 | extern as_operations_t as_pt_operations; |
121 | #endif |
- | |
122 | extern page_mapping_operations_t pt_mapping_operations; |
120 | extern page_mapping_operations_t pt_mapping_operations; |
123 | 121 | ||
124 | extern void page_mapping_insert_pt(as_t *as, uintptr_t page, uintptr_t frame, |
122 | extern void page_mapping_insert_pt(as_t *as, uintptr_t page, uintptr_t frame, |
125 | int flags); |
123 | int flags); |
126 | extern pte_t *page_mapping_find_pt(as_t *as, uintptr_t page); |
124 | extern pte_t *page_mapping_find_pt(as_t *as, uintptr_t page); |