PTE_READABLE 55 kernel/genarch/include/genarch/mm/page_ht.h #define PTE_READABLE(pte) 1 PTE_READABLE 138 kernel/genarch/include/genarch/mm/page_pt.h #define PTE_READABLE(p) 1