Changes in kernel/arch/amd64/include/mm/page.h [0d8269b:ee04c28] in mainline

File:

• kernel/arch/amd64/include/mm/page.h (modified) (2 diffs)

kernel/arch/amd64/include/mm/page.h

@@ -119 +119 @@
         set_pt_flags((pte_t *) (ptl3), (size_t) (i), (x))
 
-/* Set PTE present bit accessors for each level. */
-#define SET_PTL1_PRESENT_ARCH(ptl0, i) \
-        set_pt_present((pte_t *) (ptl0), (size_t) (i))
-#define SET_PTL2_PRESENT_ARCH(ptl1, i) \
-        set_pt_present((pte_t *) (ptl1), (size_t) (i))
-#define SET_PTL3_PRESENT_ARCH(ptl2, i) \
-        set_pt_present((pte_t *) (ptl2), (size_t) (i))
-#define SET_FRAME_PRESENT_ARCH(ptl3, i) \
-        set_pt_present((pte_t *) (ptl3), (size_t) (i))
-
 /* Macros for querying the last-level PTE entries. */
 #define PTE_VALID_ARCH(p) \
@@ -225 +215 @@
 }
 
-NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
-{
-        pte_t *p = &pt[i];
-
-        p->present = 1;
-}
-
 extern void page_arch_init(void);
 extern void page_fault(unsigned int, istate_t *);