Rev 760 | Rev 832 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 760 | Rev 793 | ||
|---|---|---|---|
| Line 82... | Line 82... | ||
| 82 | #define SET_PTL1_FLAGS(ptl0, i, x) SET_PTL1_FLAGS_ARCH(ptl0, i, x) |
82 | #define SET_PTL1_FLAGS(ptl0, i, x) SET_PTL1_FLAGS_ARCH(ptl0, i, x) |
| 83 | #define SET_PTL2_FLAGS(ptl1, i, x) SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
83 | #define SET_PTL2_FLAGS(ptl1, i, x) SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
| 84 | #define SET_PTL3_FLAGS(ptl2, i, x) SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
84 | #define SET_PTL3_FLAGS(ptl2, i, x) SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
| 85 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
85 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
| 86 | 86 | ||
| 87 | extern page_operations_t page_pt_operations; |
87 | extern page_mapping_operations_t pt_mapping_operations; |
| 88 | 88 | ||
| 89 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags); |
89 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags); |
| 90 | extern pte_t *page_mapping_find_pt(as_t *as, __address page); |
90 | extern pte_t *page_mapping_find_pt(as_t *as, __address page); |
| 91 | 91 | ||
| 92 | #endif |
92 | #endif |