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

{

    kvm_s390_interrupt_internal(cpu, KVM_S390_INT_VIRTIO, config_change,

                                token, 1);

}

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

{

    kvm_s390_interrupt_internal(cpu, KVM_S390_INT_VIRTIO, config_change,

                                token, 1);

}

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

{

    kvm_s390_interrupt_internal(VAR_0, KVM_S390_INT_VIRTIO, VAR_1,

                                VAR_2, 1);

}

void FUNC_0(S390CPU *VAR_0, int VAR_1, uint64_t VAR_2)
{ kvm_s390_interrupt_internal(VAR_0, KVM_S390_INT_VIRTIO, VAR_1,
VAR_2, 1); }