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

{

    int i;



    for (i = 0; ; i++) {

        (*cpu_fprintf)(f, "PowerPC %-16s PVR %08x\n",

                       ppc_defs[i].name, ppc_defs[i].pvr);

        if (strcmp(ppc_defs[i].name, "default") == 0)

            break;

    }

}

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

{

    int i;



    for (i = 0; ; i++) {

        (*cpu_fprintf)(f, "PowerPC %-16s PVR %08x\n",

                       ppc_defs[i].name, ppc_defs[i].pvr);

        if (strcmp(ppc_defs[i].name, "default") == 0)

            break;

    }

}

    int i;     for (i = 0; ; i++) {         if (strcmp(ppc_defs[i].name, "default") == 0)             break;
void FUNC_0 (FILE *VAR_2, int (*VAR_1)(FILE *VAR_2, const char *VAR_2, ...))

{

    int VAR_3;



    for (VAR_3 = 0; ; VAR_3++) {

        (*VAR_1)(VAR_2, "PowerPC %-16s PVR %08x\n",

                       ppc_defs[VAR_3].name, ppc_defs[VAR_3].pvr);

        if (strcmp(ppc_defs[VAR_3].name, "default") == 0)

            break;

    }

}

void FUNC_0 (FILE *VAR_2, int (*VAR_1)(FILE *VAR_2, const char *VAR_2, ...))
{ int VAR_3; for (VAR_3 = 0; ; VAR_3++) { (*VAR_1)(VAR_2, "PowerPC %-16s PVR %08x\n",
ppc_defs[VAR_3].name, ppc_defs[VAR_3].pvr); if (strcmp(ppc_defs[VAR_3].name, "default") == 0)
break; } }