void x86_cpudef_setup(void)

{

    int i, j;

    static const char *model_with_versions[] = { "qemu32", "qemu64", "athlon" };



    for (i = 0; i < ARRAY_SIZE(builtin_x86_defs); ++i) {

        X86CPUDefinition *def = &builtin_x86_defs[i];



        /* Look for specific "cpudef" models that */

        /* have the QEMU version in .model_id */

        for (j = 0; j < ARRAY_SIZE(model_with_versions); j++) {

            if (strcmp(model_with_versions[j], def->name) == 0) {

                pstrcpy(def->model_id, sizeof(def->model_id),

                        "QEMU Virtual CPU version ");

                pstrcat(def->model_id, sizeof(def->model_id),

                        qemu_get_version());

                break;

            }

        }

    }

}

void x86_cpudef_setup(void)

{

    int i, j;

    static const char *model_with_versions[] = { "qemu32", "qemu64", "athlon" };



    for (i = 0; i < ARRAY_SIZE(builtin_x86_defs); ++i) {

        X86CPUDefinition *def = &builtin_x86_defs[i];



        

        

        for (j = 0; j < ARRAY_SIZE(model_with_versions); j++) {

            if (strcmp(model_with_versions[j], def->name) == 0) {

                pstrcpy(def->model_id, sizeof(def->model_id),

                        "QEMU Virtual CPU version ");

                pstrcat(def->model_id, sizeof(def->model_id),

                        qemu_get_version());

                break;

            }

        }

    }

}

void FUNC_0(void)

{

    int VAR_0, VAR_1;

    static const char *VAR_2[] = { "qemu32", "qemu64", "athlon" };



    for (VAR_0 = 0; VAR_0 < ARRAY_SIZE(builtin_x86_defs); ++VAR_0) {

        X86CPUDefinition *def = &builtin_x86_defs[VAR_0];



        

        

        for (VAR_1 = 0; VAR_1 < ARRAY_SIZE(VAR_2); VAR_1++) {

            if (strcmp(VAR_2[VAR_1], def->name) == 0) {

                pstrcpy(def->model_id, sizeof(def->model_id),

                        "QEMU Virtual CPU version ");

                pstrcat(def->model_id, sizeof(def->model_id),

                        qemu_get_version());

                break;

            }

        }

    }

}

void FUNC_0(void)
{ int VAR_0, VAR_1; static const char *VAR_2[] = { "qemu32", "qemu64", "athlon" }; for (VAR_0 = 0; VAR_0 < ARRAY_SIZE(builtin_x86_defs); ++VAR_0) { X86CPUDefinition *def = &builtin_x86_defs[VAR_0]; for (VAR_1 = 0; VAR_1 < ARRAY_SIZE(VAR_2); VAR_1++) { if (strcmp(VAR_2[VAR_1], def->name) == 0) { pstrcpy(def->model_id, sizeof(def->model_id),
"QEMU Virtual CPU version "); pstrcat(def->model_id, sizeof(def->model_id),
qemu_get_version()); break; } } } }