PG_FRAME_NOPAE
_Static_assert((u_int)PG_FRAME_NOPAE == I386_PG_FRAME, "PG_FRAME mismatch");
page = vtophys(vmc->pmap[i].kva & PG_FRAME_NOPAE);
#define PG_FRAME PG_FRAME_NOPAE