I386_NBPDR
return (I386_NBPDR - offset);
#define I386_PAGE_PS_MASK (I386_NBPDR - 1)
_Static_assert(NBPDR == I386_NBPDR, "NBPDR mismatch");