void s390_crw_mchk(S390CPU *cpu)

{

    if (kvm_enabled()) {

        kvm_s390_crw_mchk(cpu);

    } else {

        cpu_inject_crw_mchk(cpu);

    }

}

void s390_crw_mchk(S390CPU *cpu)

{

    if (kvm_enabled()) {

        kvm_s390_crw_mchk(cpu);

    } else {

        cpu_inject_crw_mchk(cpu);

    }

}

void FUNC_0(S390CPU *VAR_0)

{

    if (kvm_enabled()) {

        kvm_s390_crw_mchk(VAR_0);

    } else {

        cpu_inject_crw_mchk(VAR_0);

    }

}

void FUNC_0(S390CPU *VAR_0)
{ if (kvm_enabled()) { kvm_s390_crw_mchk(VAR_0); } else { cpu_inject_crw_mchk(VAR_0); } }