Rev 832 | Rev 1423 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 832 | Rev 977 | ||
---|---|---|---|
Line 90... | Line 90... | ||
90 | #define SET_PTL1_FLAGS(ptl0, i, x) SET_PTL1_FLAGS_ARCH(ptl0, i, x) |
90 | #define SET_PTL1_FLAGS(ptl0, i, x) SET_PTL1_FLAGS_ARCH(ptl0, i, x) |
91 | #define SET_PTL2_FLAGS(ptl1, i, x) SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
91 | #define SET_PTL2_FLAGS(ptl1, i, x) SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
92 | #define SET_PTL3_FLAGS(ptl2, i, x) SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
92 | #define SET_PTL3_FLAGS(ptl2, i, x) SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
93 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
93 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
94 | 94 | ||
95 | /* |
- | |
96 | * Determine whether the mapping is valid. |
95 | #define PTE_VALID(p) PTE_VALID_ARCH((p)) |
97 | */ |
- | |
98 | #define PTE_VALID(p) PTE_VALID_ARCH((p)) |
96 | #define PTE_PRESENT(p) PTE_PRESENT_ARCH((p)) |
- | 97 | #define PTE_GET_FRAME(p) PTE_GET_FRAME_ARCH((p)) |
|
99 | 98 | ||
100 | extern page_mapping_operations_t pt_mapping_operations; |
99 | extern page_mapping_operations_t pt_mapping_operations; |
101 | 100 | ||
102 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags); |
101 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags); |
103 | extern pte_t *page_mapping_find_pt(as_t *as, __address page); |
102 | extern pte_t *page_mapping_find_pt(as_t *as, __address page); |