void xtensa_cpu_list(FILE *f, fprintf_function cpu_fprintf)

{

    cpu_fprintf(f, "Available CPUs:\n"

            "  Xtensa core\n");

}

void xtensa_cpu_list(FILE *f, fprintf_function cpu_fprintf)

{

    cpu_fprintf(f, "Available CPUs:\n"

            "  Xtensa core\n");

}

void FUNC_0(FILE *VAR_0, fprintf_function VAR_1)

{

    VAR_1(VAR_0, "Available CPUs:\n"

            "  Xtensa core\n");

}

void FUNC_0(FILE *VAR_0, fprintf_function VAR_1)
{ VAR_1(VAR_0, "Available CPUs:\n"
"  Xtensa core\n"); }