NPDEPGSHIFT
j = ((va >> PDRSHIFT) & ((1ul << NPDEPGSHIFT) - 1));
ptepindex = (ptepindex - pmap_pt_pindex(0)) >> NPDEPGSHIFT;
ptepindex &= ((1ul << NPDEPGSHIFT) - 1);
pindex = (pv->pv_pindex - NUPTE_TOTAL) >> NPDEPGSHIFT;
return ((va >> PDRSHIFT) & ((1UL << NPDEPGSHIFT) - 1));
uint64_t mask = ((1ul << (NPDEPGSHIFT + NPDPEPGSHIFT +
uint64_t mask = ((1ul << (NPTEPGSHIFT + NPDEPGSHIFT +
uint64_t mask = ((1ul << (NPTEPGSHIFT + NPDEPGSHIFT +
return ((va >> PDRSHIFT) & ((1ul << NPDEPGSHIFT) - 1));