PTE64_L2_MASK
#define PTE64_L2_FRAME (PTE64_L3_FRAME|PTE64_L2_MASK)
#define pte64_l2idx(va) (((va) & PTE64_L2_MASK) >> PTE64_L2_SHIFT)
*gpa = *gpa + (gva & (PTE64_L2_MASK|PTE64_L1_MASK));