static void do_inject_mce(Monitor *mon, const QDict *qdict)

{

    CPUState *cenv;

    int cpu_index = qdict_get_int(qdict, "cpu_index");

    int bank = qdict_get_int(qdict, "bank");

    uint64_t status = qdict_get_int(qdict, "status");

    uint64_t mcg_status = qdict_get_int(qdict, "mcg_status");

    uint64_t addr = qdict_get_int(qdict, "addr");

    uint64_t misc = qdict_get_int(qdict, "misc");



    for (cenv = first_cpu; cenv != NULL; cenv = cenv->next_cpu)

        if (cenv->cpu_index == cpu_index && cenv->mcg_cap) {

            cpu_inject_x86_mce(cenv, bank, status, mcg_status, addr, misc);

            break;

        }

}

static void do_inject_mce(Monitor *mon, const QDict *qdict)

{

    CPUState *cenv;

    int cpu_index = qdict_get_int(qdict, "cpu_index");

    int bank = qdict_get_int(qdict, "bank");

    uint64_t status = qdict_get_int(qdict, "status");

    uint64_t mcg_status = qdict_get_int(qdict, "mcg_status");

    uint64_t addr = qdict_get_int(qdict, "addr");

    uint64_t misc = qdict_get_int(qdict, "misc");



    for (cenv = first_cpu; cenv != NULL; cenv = cenv->next_cpu)

        if (cenv->cpu_index == cpu_index && cenv->mcg_cap) {

            cpu_inject_x86_mce(cenv, bank, status, mcg_status, addr, misc);

            break;

        }

}

    for (cenv = first_cpu; cenv != NULL; cenv = cenv->next_cpu)             cpu_inject_x86_mce(cenv, bank, status, mcg_status, addr, misc);
static void FUNC_0(Monitor *VAR_0, const QDict *VAR_1)

{

    CPUState *cenv;

    int VAR_2 = qdict_get_int(VAR_1, "VAR_2");

    int VAR_3 = qdict_get_int(VAR_1, "VAR_3");

    uint64_t status = qdict_get_int(VAR_1, "status");

    uint64_t mcg_status = qdict_get_int(VAR_1, "mcg_status");

    uint64_t addr = qdict_get_int(VAR_1, "addr");

    uint64_t misc = qdict_get_int(VAR_1, "misc");



    for (cenv = first_cpu; cenv != NULL; cenv = cenv->next_cpu)

        if (cenv->VAR_2 == VAR_2 && cenv->mcg_cap) {

            cpu_inject_x86_mce(cenv, VAR_3, status, mcg_status, addr, misc);

            break;

        }

}

static void FUNC_0(Monitor *VAR_0, const QDict *VAR_1)
{ CPUState *cenv; int VAR_2 = qdict_get_int(VAR_1, "VAR_2"); int VAR_3 = qdict_get_int(VAR_1, "VAR_3"); uint64_t status = qdict_get_int(VAR_1, "status"); uint64_t mcg_status = qdict_get_int(VAR_1, "mcg_status"); uint64_t addr = qdict_get_int(VAR_1, "addr"); uint64_t misc = qdict_get_int(VAR_1, "misc"); for (cenv = first_cpu; cenv != NULL; cenv = cenv->next_cpu) if (cenv->VAR_2 == VAR_2 && cenv->mcg_cap) { cpu_inject_x86_mce(cenv, VAR_3, status, mcg_status, addr, misc); break; } }