void kvm_s390_service_interrupt(S390CPU *cpu, uint32_t parm)

{

    kvm_s390_interrupt_internal(cpu, KVM_S390_INT_SERVICE, parm, 0 , 1);

}

void kvm_s390_service_interrupt(S390CPU *cpu, uint32_t parm)

{

    kvm_s390_interrupt_internal(cpu, KVM_S390_INT_SERVICE, parm, 0 , 1);

}

void FUNC_0(S390CPU *VAR_0, uint32_t VAR_1)

{

    kvm_s390_interrupt_internal(VAR_0, KVM_S390_INT_SERVICE, VAR_1, 0 , 1);

}

void FUNC_0(S390CPU *VAR_0, uint32_t VAR_1)
{ kvm_s390_interrupt_internal(VAR_0, KVM_S390_INT_SERVICE, VAR_1, 0 , 1); }