NPML4EPGSHIFT
ptepindex &= ((1ul << NPML4EPGSHIFT) - 1);
pdp = &pmap->pm_pml4[pdp_index & ((1ul << NPML4EPGSHIFT) - 1)];
((1ul << NPML4EPGSHIFT) - 1)];
(pd_index >> NPML4EPGSHIFT);
return ((va >> PML4SHIFT) & ((1UL << NPML4EPGSHIFT) - 1));
NPML4EPGSHIFT)) - 1);
NPDPEPGSHIFT + NPML4EPGSHIFT)) - 1);
NPDPEPGSHIFT + NPML4EPGSHIFT)) - 1);
return ((va >> PML4SHIFT) & ((1ul << NPML4EPGSHIFT) - 1));