vmx_inject_irq   2169 arch/x86/kvm/vmx.c 	vmx_inject_irq(vcpu, irq);
vmx_inject_irq   2858 arch/x86/kvm/vmx.c 			vmx_inject_irq(vcpu, vect);
vmx_inject_irq   2910 arch/x86/kvm/vmx.c 		vmx_inject_irq(vcpu, vector);
vmx_inject_irq   3239 arch/x86/kvm/vmx.c 	.set_irq = vmx_inject_irq,