void s390_sclp_extint(uint32_t parm)

{

    if (kvm_enabled()) {

        kvm_s390_service_interrupt(parm);

    } else {

        S390CPU *dummy_cpu = s390_cpu_addr2state(0);



        cpu_inject_ext(dummy_cpu, EXT_SERVICE, parm, 0);

    }

}

void s390_sclp_extint(uint32_t parm)

{

    if (kvm_enabled()) {

        kvm_s390_service_interrupt(parm);

    } else {

        S390CPU *dummy_cpu = s390_cpu_addr2state(0);



        cpu_inject_ext(dummy_cpu, EXT_SERVICE, parm, 0);

    }

}

void FUNC_0(uint32_t VAR_0)

{

    if (kvm_enabled()) {

        kvm_s390_service_interrupt(VAR_0);

    } else {

        S390CPU *dummy_cpu = s390_cpu_addr2state(0);



        cpu_inject_ext(dummy_cpu, EXT_SERVICE, VAR_0, 0);

    }

}

void FUNC_0(uint32_t VAR_0)
{ if (kvm_enabled()) { kvm_s390_service_interrupt(VAR_0); } else { S390CPU *dummy_cpu = s390_cpu_addr2state(0); cpu_inject_ext(dummy_cpu, EXT_SERVICE, VAR_0, 0); } }