I386_PG_PS_FRAME
a = (pde & I386_PG_PS_FRAME) + offset;
_Static_assert(PG_PS_FRAME_NOPAE == I386_PG_PS_FRAME, "PG_PS_FRAME mismatch");