L2_MASK
l2idx = (va & L2_MASK) >> L2_SHIFT; /* PDE idx */
l2idx = (gpa & L2_MASK) >> L2_SHIFT; /* PDE idx */
l2idx = (gpa & L2_MASK) >> L2_SHIFT; /* PDE idx */
if (max_pa & L2_MASK)
#define pl2_pi(VA) (((VA_SIGN_POS(VA)) & L2_MASK) >> L2_SHIFT)
#define L2_FRAME (L3_FRAME|L2_MASK)
idx = (addr & L2_MASK) >> L2_SHIFT;
kern_pml2 = (entry & L2_MASK) >> L2_SHIFT;