PG_NX
pg_nx = PG_NX;
} else if ((origpte & PG_NX) != 0 || (newpte & PG_NX) == 0) {
#define PG_PTE_PROMOTE (PG_NX | PG_MANAGED | PG_W | PG_G | PG_PTE_CACHE | \
else if ((origpte & PG_NX) != 0 || (newpte & PG_NX) == 0) {
pg_nx = PG_NX;