AMD64_PG_PS
if (pdpe & AMD64_PG_PS) {
if (pde & AMD64_PG_PS) {
_Static_assert(PG_PS == AMD64_PG_PS, "PG_PS mismatch");
if ((pde & AMD64_PG_PS) == 0) {
if ((pde & AMD64_PG_PS) != 0) {