PTE32_PAE_L3_MASK
#define PTE32_PAE_L3_FRAME (PTE32_PAE_L3_MASK)
#define pte32_pae_l3idx(va) (((va) & PTE32_PAE_L3_MASK) >> PTE32_PAE_L3_SHIFT)