VPTE_NX
*kp |= VPTE_NX; /* NX - !executable */
if ((fault_type & VM_PROT_EXECUTE) && (vpte & VPTE_NX)) {
if (vpte & VPTE_NX)