PTE1_NX
PTE1_NX | PTE1_RO | PTE1_U | PTE1_W | \
(((l2_attr) & PTE2_NX) ? PTE1_NX : 0) | \
(((l1_attr) & PTE1_NX) ? PTE2_NX : 0) | \
pte1 |= PTE1_NX;
if ((pte1 & PTE1_NX) == 0 && m->md.pat_mode == VM_MEMATTR_WB_WA &&
npte1 |= PTE1_NX;