Rev 1702 | Rev 1787 | Go to most recent revision | 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 |