AMD64_NPDPEPG
pdpeindex = (va >> AMD64_PDPSHIFT) & (AMD64_NPDPEPG - 1);
_Static_assert(NPDPEPG == AMD64_NPDPEPG, "NPDPEPG mismatch");