Rev 755 | Rev 760 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 755 | Rev 756 | ||
|---|---|---|---|
| Line 85... | Line 85... | ||
| 85 | #define SET_PTL3_FLAGS(ptl2, i, x) SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
85 | #define SET_PTL3_FLAGS(ptl2, i, x) SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
| 86 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
86 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
| 87 | 87 | ||
| 88 | extern page_operations_t page_pt_operations; |
88 | extern page_operations_t page_pt_operations; |
| 89 | 89 | ||
| 90 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags, __address root); |
90 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags); |
| 91 | extern pte_t *page_mapping_find_pt(as_t *as, __address page, __address root); |
91 | extern pte_t *page_mapping_find_pt(as_t *as, __address page); |
| 92 | 92 | ||
| 93 | #endif |
93 | #endif |