static void s390_print_cpu_model_list_entry(gpointer data, gpointer user_data)

{

    CPUListState *s = user_data;

    const S390CPUClass *scc = S390_CPU_CLASS((ObjectClass *)data);

    char *name = g_strdup(object_class_get_name((ObjectClass *)data));

    const char *details = "";



    if (scc->is_static) {

        details = "(static, migration-safe)";

    } else if (scc->is_migration_safe) {

        details = "(migration-safe)";

    }



    /* strip off the -s390-cpu */

    g_strrstr(name, "-" TYPE_S390_CPU)[0] = 0;

    (*s->cpu_fprintf)(s->file, "s390 %-15s %-35s %s\n", name, scc->desc,

                      details);

    g_free(name);

}

static void s390_print_cpu_model_list_entry(gpointer data, gpointer user_data)

{

    CPUListState *s = user_data;

    const S390CPUClass *scc = S390_CPU_CLASS((ObjectClass *)data);

    char *name = g_strdup(object_class_get_name((ObjectClass *)data));

    const char *details = "";



    if (scc->is_static) {

        details = "(static, migration-safe)";

    } else if (scc->is_migration_safe) {

        details = "(migration-safe)";

    }



    

    g_strrstr(name, "-" TYPE_S390_CPU)[0] = 0;

    (*s->cpu_fprintf)(s->file, "s390 %-15s %-35s %s\n", name, scc->desc,

                      details);

    g_free(name);

}

static void FUNC_0(gpointer VAR_0, gpointer VAR_1)

{

    CPUListState *s = VAR_1;

    const S390CPUClass *VAR_2 = S390_CPU_CLASS((ObjectClass *)VAR_0);

    char *VAR_3 = g_strdup(object_class_get_name((ObjectClass *)VAR_0));

    const char *VAR_4 = "";



    if (VAR_2->is_static) {

        VAR_4 = "(static, migration-safe)";

    } else if (VAR_2->is_migration_safe) {

        VAR_4 = "(migration-safe)";

    }



    

    g_strrstr(VAR_3, "-" TYPE_S390_CPU)[0] = 0;

    (*s->cpu_fprintf)(s->file, "s390 %-15s %-35s %s\n", VAR_3, VAR_2->desc,

                      VAR_4);

    g_free(VAR_3);

}

static void FUNC_0(gpointer VAR_0, gpointer VAR_1)
{ CPUListState *s = VAR_1; const S390CPUClass *VAR_2 = S390_CPU_CLASS((ObjectClass *)VAR_0); char *VAR_3 = g_strdup(object_class_get_name((ObjectClass *)VAR_0)); const char *VAR_4 = ""; if (VAR_2->is_static) { VAR_4 = "(static, migration-safe)"; } else if (VAR_2->is_migration_safe) { VAR_4 = "(migration-safe)"; } g_strrstr(VAR_3, "-" TYPE_S390_CPU)[0] = 0; (*s->cpu_fprintf)(s->file, "s390 %-15s %-35s %s\n", VAR_3, VAR_2->desc,
VAR_4); g_free(VAR_3); }