PT_NX
(PT_PADDR | PT_NX | PT_WRITABLE | PT_WRITETHRU | \
if (!PTE_GET(pte, PT_NX))
mmu.pt_nx = PT_NX;
bits |= PT_NX;
if ((pte & PT_NX) == 0)