PTE_PRESENT 53 kernel/genarch/include/genarch/mm/page_ht.h #define PTE_PRESENT(pte) ((pte)->p != 0) PTE_PRESENT 136 kernel/genarch/include/genarch/mm/page_pt.h #define PTE_PRESENT(p) PTE_PRESENT_ARCH((p))