L3_MASK
l3idx = (va & L3_MASK) >> L3_SHIFT; /* PDPTE idx */
l3idx = (gpa & L3_MASK) >> L3_SHIFT; /* PDPTE idx */
l3idx = (gpa & L3_MASK) >> L3_SHIFT; /* PDPTE idx */
mask = L3_MASK;
#define pl3_pi(VA) (((VA_SIGN_POS(VA)) & L3_MASK) >> L3_SHIFT)
#define L3_FRAME (L4_FRAME|L3_MASK)
idx = (addr & L3_MASK) >> L3_SHIFT;
kern_pml3 = (entry & L3_MASK) >> L3_SHIFT;
mask = L3_MASK;