void s390_io_interrupt(S390CPU *cpu, uint16_t subchannel_id,

                       uint16_t subchannel_nr, uint32_t io_int_parm,

                       uint32_t io_int_word)

{

    if (kvm_enabled()) {

        kvm_s390_io_interrupt(cpu, subchannel_id, subchannel_nr, io_int_parm,

                              io_int_word);

    } else {

        cpu_inject_io(cpu, subchannel_id, subchannel_nr, io_int_parm,

                      io_int_word);

    }

}

void s390_io_interrupt(S390CPU *cpu, uint16_t subchannel_id,

                       uint16_t subchannel_nr, uint32_t io_int_parm,

                       uint32_t io_int_word)

{

    if (kvm_enabled()) {

        kvm_s390_io_interrupt(cpu, subchannel_id, subchannel_nr, io_int_parm,

                              io_int_word);

    } else {

        cpu_inject_io(cpu, subchannel_id, subchannel_nr, io_int_parm,

                      io_int_word);

    }

}

void FUNC_0(S390CPU *VAR_0, uint16_t VAR_1,

                       uint16_t VAR_2, uint32_t VAR_3,

                       uint32_t VAR_4)

{

    if (kvm_enabled()) {

        kvm_s390_io_interrupt(VAR_0, VAR_1, VAR_2, VAR_3,

                              VAR_4);

    } else {

        cpu_inject_io(VAR_0, VAR_1, VAR_2, VAR_3,

                      VAR_4);

    }

}

void FUNC_0(S390CPU *VAR_0, uint16_t VAR_1,
uint16_t VAR_2, uint32_t VAR_3,
uint32_t VAR_4)
{ if (kvm_enabled()) { kvm_s390_io_interrupt(VAR_0, VAR_1, VAR_2, VAR_3,
VAR_4); } else { cpu_inject_io(VAR_0, VAR_1, VAR_2, VAR_3,
VAR_4); } }