arch/x86/kvm/vmx/nested.c

2526

!(vmcs12->guest_interruptibility_info & GUEST_INTR_STATE_NMI);

arch/x86/kvm/vmx/vmx.c

5242

masked = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_NMI;

arch/x86/kvm/vmx/vmx.c

5260

GUEST_INTR_STATE_NMI);

arch/x86/kvm/vmx/vmx.c

5263

GUEST_INTR_STATE_NMI);

arch/x86/kvm/vmx/vmx.c

5277

GUEST_INTR_STATE_NMI));

arch/x86/kvm/vmx/vmx.c

6049

vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI);

arch/x86/kvm/vmx/vmx.c

6262

GUEST_INTR_STATE_NMI);

arch/x86/kvm/vmx/vmx.c

6367

GUEST_INTR_STATE_NMI);

arch/x86/kvm/vmx/vmx.c

7330

GUEST_INTR_STATE_NMI);

arch/x86/kvm/vmx/vmx.c

7334

& GUEST_INTR_STATE_NMI);