L2_SHIFT
[2] = L2_SHIFT,
l2idx = (va & L2_MASK) >> L2_SHIFT; /* PDE idx */
l2idx = (gpa & L2_MASK) >> L2_SHIFT; /* PDE idx */
l2idx = (gpa & L2_MASK) >> L2_SHIFT; /* PDE idx */
*((pd_entry_t *)va) = ((paddr_t)i << L2_SHIFT);
#define pl2_pi(VA) (((VA_SIGN_POS(VA)) & L2_MASK) >> L2_SHIFT)
#define pl2_i(VA) (((VA_SIGN_POS(VA)) & L2_FRAME) >> L2_SHIFT)
#define PTP_SHIFT_INITIALIZER { L1_SHIFT, L2_SHIFT, L3_SHIFT, L4_SHIFT }
#define NBPD_L2 (1ULL << L2_SHIFT) /* # bytes mapped by L2 ent (2MB) */
idx = (addr & L2_MASK) >> L2_SHIFT;
kern_pml2 = (entry & L2_MASK) >> L2_SHIFT;
pml2[i] = (i << L2_SHIFT) | PG_V | PG_RW | PG_PS;
#define L2_SIZE (1 << L2_SHIFT)
#define L2_SIZE (1UL << L2_SHIFT)