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