Changes in kernel/arch/amd64/include/mm/page.h [0d8269b:c0699467] in mainline
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/arch/amd64/include/mm/page.h
r0d8269b rc0699467 31 31 */ 32 32 /** @file 33 */ 34 35 /** Paging on AMD64 36 * 37 * The space is divided in positive numbers (uspace) and 38 * negative numbers (kernel). The 'negative' space starting 39 * with 0xffff800000000000 and ending with 0xffffffffffffffff 40 * is identically mapped physical memory. 41 * 33 42 */ 34 43 … … 118 127 #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) \ 119 128 set_pt_flags((pte_t *) (ptl3), (size_t) (i), (x)) 120 121 /* Set PTE present bit accessors for each level. */122 #define SET_PTL1_PRESENT_ARCH(ptl0, i) \123 set_pt_present((pte_t *) (ptl0), (size_t) (i))124 #define SET_PTL2_PRESENT_ARCH(ptl1, i) \125 set_pt_present((pte_t *) (ptl1), (size_t) (i))126 #define SET_PTL3_PRESENT_ARCH(ptl2, i) \127 set_pt_present((pte_t *) (ptl2), (size_t) (i))128 #define SET_FRAME_PRESENT_ARCH(ptl3, i) \129 set_pt_present((pte_t *) (ptl3), (size_t) (i))130 129 131 130 /* Macros for querying the last-level PTE entries. */ … … 225 224 } 226 225 227 NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)228 {229 pte_t *p = &pt[i];230 231 p->present = 1;232 }233 234 226 extern void page_arch_init(void); 235 227 extern void page_fault(unsigned int, istate_t *);
Note:
See TracChangeset
for help on using the changeset viewer.