GUEST_INTR_STATE_NMI 2186 arch/x86/kvm/vmx/nested.c 			!(vmcs12->guest_interruptibility_info & GUEST_INTR_STATE_NMI);
GUEST_INTR_STATE_NMI 4437 arch/x86/kvm/vmx/vmx.c 	masked = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_NMI;
GUEST_INTR_STATE_NMI 4455 arch/x86/kvm/vmx/vmx.c 				      GUEST_INTR_STATE_NMI);
GUEST_INTR_STATE_NMI 4458 arch/x86/kvm/vmx/vmx.c 					GUEST_INTR_STATE_NMI);
GUEST_INTR_STATE_NMI 4473 arch/x86/kvm/vmx/vmx.c 		   | GUEST_INTR_STATE_NMI));
GUEST_INTR_STATE_NMI 5164 arch/x86/kvm/vmx/vmx.c 		vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI);
GUEST_INTR_STATE_NMI 5500 arch/x86/kvm/vmx/vmx.c 				GUEST_INTR_STATE_NMI);
GUEST_INTR_STATE_NMI 6330 arch/x86/kvm/vmx/vmx.c 				      GUEST_INTR_STATE_NMI);
GUEST_INTR_STATE_NMI 6334 arch/x86/kvm/vmx/vmx.c 				  & GUEST_INTR_STATE_NMI);