Symbol: do_inject_vcpu
arch/s390/kvm/interrupt.c
2139
rc = do_inject_vcpu(vcpu, irq);
arch/s390/kvm/interrupt.c
2936
r = do_inject_vcpu(vcpu, &buf[n]);