static 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, VIRTIO_EXT_CODE, config_change, token);

    }

}

static 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, VIRTIO_EXT_CODE, config_change, token);

    }

}

static 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, VIRTIO_EXT_CODE, VAR_1, VAR_2);

    }

}

static 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, VIRTIO_EXT_CODE, VAR_1, VAR_2); } }