I386_PDRSHIFT_PAE
pdeindex = va >> I386_PDRSHIFT_PAE;
#define I386_NBPDR_PAE (1 << I386_PDRSHIFT_PAE)