PTE64_L4_MASK
#define PTE64_L4_FRAME PTE64_L4_MASK
#define pte64_l4idx(va) (((va) & PTE64_L4_MASK) >> PTE64_L4_SHIFT)