vmcs_set_bits    4454 arch/x86/kvm/vmx/vmx.c 			vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO,
vmcs_set_bits    5164 arch/x86/kvm/vmx/vmx.c 		vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI);
vmcs_set_bits    5499 arch/x86/kvm/vmx/vmx.c 		vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO,
vmcs_set_bits    6329 arch/x86/kvm/vmx/vmx.c 			vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO,