PTE64_L3_MASK
#define PTE64_L3_FRAME (PTE64_L4_FRAME|PTE64_L3_MASK)
#define pte64_l3idx(va) (((va) & PTE64_L3_MASK) >> PTE64_L3_SHIFT)