PTE64_L1_MASK
#define PTE64_L1_FRAME (PTE64_L2_FRAME|PTE64_L1_MASK)
#define pte64_l1idx(va) (((va) & PTE64_L1_MASK) >> PTE64_L1_SHIFT)
*gpa = *gpa + (gva & (PTE64_L2_MASK|PTE64_L1_MASK));
*gpa = *gpa + (gva & PTE64_L1_MASK);