void s390_virtio_irq(S390CPU *cpu, int config_change, uint64_t token)

{

    if (kvm_enabled()) {

        kvm_s390_virtio_irq(cpu, config_change, token);

    } else {

        cpu_inject_ext(cpu, EXT_VIRTIO, config_change, token);

    }

}

void s390_virtio_irq(S390CPU *cpu, int config_change, uint64_t token)

{

    if (kvm_enabled()) {

        kvm_s390_virtio_irq(cpu, config_change, token);

    } else {

        cpu_inject_ext(cpu, EXT_VIRTIO, config_change, token);

    }

}

void FUNC_0(S390CPU *VAR_0, int VAR_1, uint64_t VAR_2)

{

    if (kvm_enabled()) {

        kvm_s390_virtio_irq(VAR_0, VAR_1, VAR_2);

    } else {

        cpu_inject_ext(VAR_0, EXT_VIRTIO, VAR_1, VAR_2);

    }

}

void FUNC_0(S390CPU *VAR_0, int VAR_1, uint64_t VAR_2)
{ if (kvm_enabled()) { kvm_s390_virtio_irq(VAR_0, VAR_1, VAR_2); } else { cpu_inject_ext(VAR_0, EXT_VIRTIO, VAR_1, VAR_2); } }