PTE32_L1_MASK
#define PTE32_L1_FRAME (PTE32_L2_FRAME|PTE32_L1_MASK)
#define pte32_l1idx(va) (((va) & PTE32_L1_MASK) >> PTE32_L1_SHIFT)
*gpa = *gpa + (gva & PTE32_L1_MASK);