Rev 2089 | Rev 2467 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2089 | Rev 2125 | ||
---|---|---|---|
Line 105... | Line 105... | ||
105 | #define PTE_GET_FRAME(p) PTE_GET_FRAME_ARCH((p)) |
105 | #define PTE_GET_FRAME(p) PTE_GET_FRAME_ARCH((p)) |
106 | #define PTE_READABLE(p) 1 |
106 | #define PTE_READABLE(p) 1 |
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 | #ifndef __OBJC__ |
|
110 | extern as_operations_t as_pt_operations; |
111 | extern as_operations_t as_pt_operations; |
- | 112 | #endif |
|
111 | extern page_mapping_operations_t pt_mapping_operations; |
113 | extern page_mapping_operations_t pt_mapping_operations; |
112 | 114 | ||
113 | extern void page_mapping_insert_pt(as_t *as, uintptr_t page, uintptr_t frame, int flags); |
115 | extern void page_mapping_insert_pt(as_t *as, uintptr_t page, uintptr_t frame, int flags); |
114 | extern pte_t *page_mapping_find_pt(as_t *as, uintptr_t page); |
116 | extern pte_t *page_mapping_find_pt(as_t *as, uintptr_t page); |
115 | 117 |