AMD64_NPDEPG
pdeindex = (va >> AMD64_PDRSHIFT) & (AMD64_NPDEPG - 1);
_Static_assert(NPDEPG == AMD64_NPDEPG, "NPDEPG mismatch");