do_inject_vcpu   2046 arch/s390/kvm/interrupt.c 	rc = do_inject_vcpu(vcpu, irq);
do_inject_vcpu   2874 arch/s390/kvm/interrupt.c 		r = do_inject_vcpu(vcpu, &buf[n]);