I386_PG_FRAME
pte_pa = (pde & I386_PG_FRAME) + (pteindex * sizeof(pte));
a = (pte & I386_PG_FRAME) + offset;
_Static_assert((u_int)PG_FRAME_NOPAE == I386_PG_FRAME, "PG_FRAME mismatch");
a = pte & I386_PG_FRAME;
*pa = pte32 & I386_PG_FRAME;