diff options
Diffstat (limited to 'include/monitor/monitor.h')
-rw-r--r-- | include/monitor/monitor.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/monitor/monitor.h b/include/monitor/monitor.h index 033390f..965f5d5 100644 --- a/include/monitor/monitor.h +++ b/include/monitor/monitor.h @@ -40,6 +40,9 @@ void monitor_flush(Monitor *mon); int monitor_set_cpu(Monitor *mon, int cpu_index); int monitor_get_cpu_index(Monitor *mon); +int monitor_puts_locked(Monitor *mon, const char *str); +void monitor_flush_locked(Monitor *mon); + void *gpa2hva(MemoryRegion **p_mr, hwaddr addr, uint64_t size, Error **errp); void monitor_read_command(MonitorHMP *mon, int show_prompt); |