L1_SHIFT
[1] = L1_SHIFT,
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 pl1_i(VA) (((VA_SIGN_POS(VA)) & L1_FRAME) >> L1_SHIFT)
#define PTP_SHIFT_INITIALIZER { L1_SHIFT, L2_SHIFT, L3_SHIFT, L4_SHIFT }
#define NBPD_L1 (1ULL << L1_SHIFT) /* # bytes mapped by L1 ent (4K) */
idx = (addr & L1_MASK) >> L1_SHIFT;
kern_pml1 = (entry & L1_MASK) >> L1_SHIFT;
#define L1_SIZE (1 << L1_SHIFT)
#define L1_SIZE (1UL << L1_SHIFT)