PTE32_L2_MASK
#define PTE32_L2_FRAME (PTE32_L2_MASK)
#define pte32_l2idx(va) (((va) & PTE32_L2_MASK) >> PTE32_L2_SHIFT)