Symbol: vmx_inject_irq
arch/x86/kvm/vmx/main.c
645
vmx_inject_irq(vcpu, reinjected);
arch/x86/kvm/vmx/x86_ops.h
89
void vmx_inject_irq(struct kvm_vcpu *vcpu, bool reinjected);