AMD64_PG_PS_FRAME
a = (pde & AMD64_PG_PS_FRAME) + (va & AMD64_PDRMASK);
_Static_assert(PG_PS_FRAME == AMD64_PG_PS_FRAME, "PG_PS_FRAME mismatch");
a = pde & AMD64_PG_PS_FRAME;
pa = (pde & AMD64_PG_PS_FRAME) +