PTE_GET_FRAME 54 kernel/genarch/include/genarch/mm/page_ht.h #define PTE_GET_FRAME(pte) ((pte)->frame) PTE_GET_FRAME 137 kernel/genarch/include/genarch/mm/page_pt.h #define PTE_GET_FRAME(p) PTE_GET_FRAME_ARCH((p))