Symbol: __do_deliver_io
arch/s390/kvm/interrupt.c
1149
rc = __do_deliver_io(vcpu, &(inti->io));
arch/s390/kvm/interrupt.c
1169
rc = __do_deliver_io(vcpu, &io);