NPTEPGSHIFT
pindex = pv->pv_pindex >> NPTEPGSHIFT;
return ((va >> PAGE_SHIFT) & ((1UL << NPTEPGSHIFT) - 1));
uint64_t mask = ((1ul << (NPTEPGSHIFT + NPDEPGSHIFT +
uint64_t mask = ((1ul << (NPTEPGSHIFT + NPDEPGSHIFT +
return ((va >> PAGE_SHIFT) & ((1ul << NPTEPGSHIFT) - 1));