void x86_cpu_list (FILE *f, int (*cpu_fprintf)(FILE *f, const char *fmt, ...))

{

    unsigned int i;



    for (i = 0; i < ARRAY_SIZE(x86_defs); i++)

        (*cpu_fprintf)(f, "x86 %16s\n", x86_defs[i].name);

}

void x86_cpu_list (FILE *f, int (*cpu_fprintf)(FILE *f, const char *fmt, ...))

{

    unsigned int i;



    for (i = 0; i < ARRAY_SIZE(x86_defs); i++)

        (*cpu_fprintf)(f, "x86 %16s\n", x86_defs[i].name);

}

void FUNC_0 (FILE *VAR_2, int (*VAR_1)(FILE *VAR_2, const char *VAR_2, ...))

{

    unsigned int VAR_3;



    for (VAR_3 = 0; VAR_3 < ARRAY_SIZE(x86_defs); VAR_3++)

        (*VAR_1)(VAR_2, "x86 %16s\n", x86_defs[VAR_3].name);

}

void FUNC_0 (FILE *VAR_2, int (*VAR_1)(FILE *VAR_2, const char *VAR_2, ...))
{ unsigned int VAR_3; for (VAR_3 = 0; VAR_3 < ARRAY_SIZE(x86_defs); VAR_3++) (*VAR_1)(VAR_2, "x86 %16s\n", x86_defs[VAR_3].name); }