kvm_s390_get_io_int
kfree(kvm_s390_get_io_int(kvm, isc_mask, schid));
struct kvm_s390_interrupt_info *kvm_s390_get_io_int(struct kvm *kvm,
inti = kvm_s390_get_io_int(vcpu->kvm, vcpu->arch.sie_block->gcr[6], 0);
inti = kvm_s390_get_io_int(vcpu->kvm, isc_mask,