NPDEPGSHIFT
pt_entry_t vtoptem __read_mostly = ((1ul << (NPTEPGSHIFT + NPDEPGSHIFT +
pd_entry_t vtopdem __read_mostly = ((1ul << (NPDEPGSHIFT + NPDPEPGSHIFT +
vtoptem = ((1ul << (NPTEPGSHIFT + NPDEPGSHIFT + NPDPEPGSHIFT +
vtopdem = ((1ul << (NPDEPGSHIFT + NPDPEPGSHIFT +
return ((va >> PDRSHIFT) & ((1ul << NPDEPGSHIFT) - 1));