PTE32_PAE_L2_FRAME
#define PTE32_PAE_L1_FRAME (PTE32_PAE_L2_FRAME|PTE32_PAE_L1_MASK)
*gpa = (pte & PTE32_PAE_L2_FRAME);