I386_PDRSHIFT
pdeindex = va >> I386_PDRSHIFT;
#define I386_NBPDR (1 << I386_PDRSHIFT)
_Static_assert(PDRSHIFT_NOPAE == I386_PDRSHIFT, "PDRSHIFT mismatch");