L4_SHIFT
u_long va = i << L4_SHIFT;
(uint64_t)(index << L4_SHIFT));
l4idx = (va & L4_MASK) >> L4_SHIFT; /* PML4E idx */
l4idx = (gpa & L4_MASK) >> L4_SHIFT; /* PML4E idx */
l4idx = (gpa & L4_MASK) >> L4_SHIFT; /* PML4E idx */
shift = L4_SHIFT;
shift = L4_SHIFT;
#define pl4_pi(VA) (((VA_SIGN_POS(VA)) & L4_MASK) >> L4_SHIFT)
#define pl4_i(VA) (((VA_SIGN_POS(VA)) & L4_FRAME) >> L4_SHIFT)
#define PTP_SHIFT_INITIALIZER { L1_SHIFT, L2_SHIFT, L3_SHIFT, L4_SHIFT }
#define NBPD_L4 (1ULL << L4_SHIFT) /* # bytes mapped by L4 ent (512G) */
idx = (addr & L4_MASK) >> L4_SHIFT;
kern_pml4 = (entry & L4_MASK) >> L4_SHIFT;
shift = L4_SHIFT;