Rev 125 | Rev 391 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 125 | Rev 167 | ||
---|---|---|---|
Line 104... | Line 104... | ||
104 | #define SET_PTL1_FLAGS(ptl0, i, x) SET_PTL1_FLAGS_ARCH(ptl0, i, x) |
104 | #define SET_PTL1_FLAGS(ptl0, i, x) SET_PTL1_FLAGS_ARCH(ptl0, i, x) |
105 | #define SET_PTL2_FLAGS(ptl1, i, x) SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
105 | #define SET_PTL2_FLAGS(ptl1, i, x) SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
106 | #define SET_PTL3_FLAGS(ptl2, i, x) SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
106 | #define SET_PTL3_FLAGS(ptl2, i, x) SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
107 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
107 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
108 | 108 | ||
109 | #include <arch/mm/page.h> |
- | |
110 | - | ||
111 | extern void page_init(void); |
109 | extern void page_init(void); |
112 | extern void map_page_to_frame(__address page, __address frame, int flags, __address root); |
110 | extern void map_page_to_frame(__address page, __address frame, int flags, __address root); |
113 | extern void map_structure(__address s, size_t size); |
111 | extern void map_structure(__address s, size_t size); |
114 | 112 | ||
115 | #endif |
113 | #endif |