Rev 1108 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1108 | Rev 1423 | ||
---|---|---|---|
Line 95... | Line 95... | ||
95 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
95 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
96 | 96 | ||
97 | #define PTE_VALID(p) PTE_VALID_ARCH((p)) |
97 | #define PTE_VALID(p) PTE_VALID_ARCH((p)) |
98 | #define PTE_PRESENT(p) PTE_PRESENT_ARCH((p)) |
98 | #define PTE_PRESENT(p) PTE_PRESENT_ARCH((p)) |
99 | #define PTE_GET_FRAME(p) PTE_GET_FRAME_ARCH((p)) |
99 | #define PTE_GET_FRAME(p) PTE_GET_FRAME_ARCH((p)) |
- | 100 | #define PTE_READABLE(p) 1 |
|
- | 101 | #define PTE_WRITABLE(p) PTE_WRITABLE_ARCH((p)) |
|
- | 102 | #define PTE_EXECUTABLE(p) PTE_EXECUTABLE_ARCH((p)) |
|
100 | 103 | ||
101 | extern page_mapping_operations_t pt_mapping_operations; |
104 | extern page_mapping_operations_t pt_mapping_operations; |
102 | 105 | ||
103 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags); |
106 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags); |
104 | extern pte_t *page_mapping_find_pt(as_t *as, __address page); |
107 | extern pte_t *page_mapping_find_pt(as_t *as, __address page); |