diff --git a/exec.c b/exec.c
index 7f62e71..50bde7b 100644
--- a/exec.c
+++ b/exec.c
@@ -3011,7 +3011,7 @@ void dump_exec_info(FILE *f,
     cpu_fprintf(f, "TB flush count      %d\n", tb_flush_count);
     cpu_fprintf(f, "TB invalidate count %d\n", tb_phys_invalidate_count);
     cpu_fprintf(f, "TLB flush count     %d\n", tlb_flush_count);
-    tcg_dump_info(f, cpu_fprintf);
+    dump_tcg_info(f, cpu_fprintf);
 }
 
 #if !defined(CONFIG_USER_ONLY)
diff --git a/tcg/tcg.c b/tcg/tcg.c
index 31962a9..c3db324 100644
--- a/tcg/tcg.c
+++ b/tcg/tcg.c
@@ -2036,6 +2036,6 @@ void tcg_dump_info(FILE *f,
 void dump_tcg_info(FILE *f,
                    int (*cpu_fprintf)(FILE *f, const char *fmt, ...))
 {
-    cpu_fprintf("[TCG profiler not compiled]\n");
+    cpu_fprintf(f, "[TCG profiler not compiled]\n");
 }
 #endif
diff --git a/tcg/tcg.h b/tcg/tcg.h
index b29b548..62e866c 100644
--- a/tcg/tcg.h
+++ b/tcg/tcg.h
@@ -400,3 +400,6 @@ uint64_t tcg_helper_remu_i64(uint64_t arg1, uint64_t arg2);
 
 extern uint8_t code_gen_prologue[];
 #define tcg_qemu_tb_exec(tb_ptr) ((long REGPARM (*)(void *))code_gen_prologue)(tb_ptr)
+
+void dump_tcg_info(FILE *f,
+                   int (*cpu_fprintf)(FILE *f, const char *fmt, ...));