L1_MASK
l1idx = (va & L1_MASK) >> L1_SHIFT; /* PTE idx */
l1idx = (gpa & L1_MASK) >> L1_SHIFT; /* PTE idx */
l1idx = (gpa & L1_MASK) >> L1_SHIFT; /* PTE idx */
#define pl1_pi(VA) (((VA_SIGN_POS(VA)) & L1_MASK) >> L1_SHIFT)
#define L1_FRAME (L2_FRAME|L1_MASK)
idx = (addr & L1_MASK) >> L1_SHIFT;
kern_pml1 = (entry & L1_MASK) >> L1_SHIFT;