diff options
Diffstat (limited to 'exec.c')
| -rw-r--r-- | exec.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/exec.c b/exec.c index c7697acace..e9cec6aaaf 100644 --- a/exec.c +++ b/exec.c @@ -217,7 +217,9 @@ int loglevel; static int log_append = 0; /* statistics */ +#if !defined(CONFIG_USER_ONLY) static int tlb_flush_count; +#endif static int tb_flush_count; static int tb_phys_invalidate_count; @@ -3924,6 +3926,8 @@ void cpu_io_recompile(CPUState *env, void *retaddr) cpu_resume_from_signal(env, NULL); } +#if !defined(CONFIG_USER_ONLY) + void dump_exec_info(FILE *f, int (*cpu_fprintf)(FILE *f, const char *fmt, ...)) { @@ -3977,8 +3981,6 @@ void dump_exec_info(FILE *f, tcg_dump_info(f, cpu_fprintf); } -#if !defined(CONFIG_USER_ONLY) - #define MMUSUFFIX _cmmu #define GETPC() NULL #define env cpu_single_env |