is_nx 115 arch/x86/kvm/paging_tmpl.h if (is_nx(vcpu)) is_nx 174 arch/x86/kvm/paging_tmpl.h if (fetch_fault && is_nx(vcpu) && (pte & PT64_NX_MASK))