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

{

    unsigned int i;



    (*cpu_fprintf)(f, "Available CPUs:\n");

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

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

    }

}

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

{

    unsigned int i;



    (*cpu_fprintf)(f, "Available CPUs:\n");

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

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

    }

}

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

{

    unsigned int VAR_3;



    (*VAR_1)(VAR_2, "Available CPUs:\n");

    for (VAR_3 = 0; VAR_3 < ARRAY_SIZE(cris_cores); VAR_3++) {

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

    }

}

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