L3_SHIFT
[3] = L3_SHIFT,
l3idx = (va & L3_MASK) >> L3_SHIFT; /* PDPTE idx */
l3idx = (gpa & L3_MASK) >> L3_SHIFT; /* PDPTE idx */
l3idx = (gpa & L3_MASK) >> L3_SHIFT; /* PDPTE idx */
va = (vaddr_t)((PDIR_SLOT_EARLY * 512ULL) << L3_SHIFT) + off;
ndmpdp = (max_pa + NBPD_L3 - 1) >> L3_SHIFT;
p = ((max_pa - start_cur) >> L3_SHIFT);
cur_pa = start_cur + (i << L3_SHIFT);
shift = L3_SHIFT;
#define pl3_pi(VA) (((VA_SIGN_POS(VA)) & L3_MASK) >> L3_SHIFT)
#define pl3_i(VA) (((VA_SIGN_POS(VA)) & L3_FRAME) >> L3_SHIFT)
#define PTP_SHIFT_INITIALIZER { L1_SHIFT, L2_SHIFT, L3_SHIFT, L4_SHIFT }
#define NBPD_L3 (1ULL << L3_SHIFT) /* # bytes mapped by L3 ent (1G) */
idx = (addr & L3_MASK) >> L3_SHIFT;
kern_pml3 = (entry & L3_MASK) >> L3_SHIFT;
#define L3_SIZE (1UL << L3_SHIFT)
shift = L3_SHIFT;