|
@@ -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);
|