kvm_s390_reinject_io_int
kvm_s390_reinject_io_int(kvm, inti);
int kvm_s390_reinject_io_int(struct kvm *kvm,
if (kvm_s390_reinject_io_int(vcpu->kvm, inti)) {