diff options
Diffstat (limited to 'include/monitor/monitor.h')
| -rw-r--r-- | include/monitor/monitor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/monitor/monitor.h b/include/monitor/monitor.h index bc6cb6d185..91b95ae90a 100644 --- a/include/monitor/monitor.h +++ b/include/monitor/monitor.h @@ -34,6 +34,7 @@ int monitor_fd_param(Monitor *mon, const char *fdname, Error **errp); void monitor_vprintf(Monitor *mon, const char *fmt, va_list ap) GCC_FMT_ATTR(2, 0); void monitor_printf(Monitor *mon, const char *fmt, ...) GCC_FMT_ATTR(2, 3); +int monitor_fprintf(FILE *stream, const char *fmt, ...) GCC_FMT_ATTR(2, 3); void monitor_flush(Monitor *mon); int monitor_set_cpu(int cpu_index); int monitor_get_cpu_index(void); |