NPDPEPGSHIFT
NPDPEPGSHIFT + NPML4EPGSHIFT)) - 1) << 3;
pd_entry_t vtopdem __read_mostly = ((1ul << (NPDEPGSHIFT + NPDPEPGSHIFT +
vtoptem = ((1ul << (NPTEPGSHIFT + NPDEPGSHIFT + NPDPEPGSHIFT +
vtopdem = ((1ul << (NPDEPGSHIFT + NPDPEPGSHIFT +
pdpindex = pmap_pde_pindex(va) >> NPDPEPGSHIFT;
return ((va >> PDPSHIFT) & ((1ul << NPDPEPGSHIFT) - 1));