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))