Revision 405cf9ff tcg/tcg.c

b/tcg/tcg.c
2124 2124
}
2125 2125

  
2126 2126
#ifdef CONFIG_PROFILER
2127
void tcg_dump_info(FILE *f,
2128
                   int (*cpu_fprintf)(FILE *f, const char *fmt, ...))
2127
void tcg_dump_info(FILE *f, fprintf_function cpu_fprintf)
2129 2128
{
2130 2129
    TCGContext *s = &tcg_ctx;
2131 2130
    int64_t tot;
......
2169 2168
    dump_op_count();
2170 2169
}
2171 2170
#else
2172
void tcg_dump_info(FILE *f,
2173
                   int (*cpu_fprintf)(FILE *f, const char *fmt, ...))
2171
void tcg_dump_info(FILE *f, fprintf_function cpu_fprintf)
2174 2172
{
2175 2173
    cpu_fprintf(f, "[TCG profiler not compiled]\n");
2176 2174
}

Also available in: Unified diff