PTE_VALID 52 kernel/genarch/include/genarch/mm/page_ht.h #define PTE_VALID(pte) ((void *) (pte) != NULL) PTE_VALID 135 kernel/genarch/include/genarch/mm/page_pt.h #define PTE_VALID(p) PTE_VALID_ARCH((p))