I386_NPTEPG
pteindex = (va >> I386_PAGE_SHIFT) & (I386_NPTEPG - 1);
_Static_assert(NPTEPG == I386_NPTEPG, "NPTEPG mismatch");