AMD64_NBPDP
return (AMD64_NBPDP - (va & AMD64_PDPMASK));
#define AMD64_PDPMASK (AMD64_NBPDP - 1)
_Static_assert(NBPDP == AMD64_NBPDP, "NBPDP mismatch");