AMD64_PDPSHIFT
pdpeindex = (va >> AMD64_PDPSHIFT) & (AMD64_NPDPEPG - 1);
#define AMD64_NBPDP (1 << AMD64_PDPSHIFT)
_Static_assert(PDPSHIFT == AMD64_PDPSHIFT, "PDPSHIFT mismatch");