Fix build with profiler enabled

Broken by 4a1418e07bdcfaa3177739e04707ecaec75d89e1

Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>

diff --git a/monitor.c b/monitor.c
index 167041e448fcd54f41f312c003238b480a6eb9d0..f105a2ec1bfc4c302cd2e019686f80e65330c981 100644 (file)
--- a/monitor.c
+++ b/monitor.c
@@ -1456,6 +1456,9 @@ static void do_info_numa(Monitor *mon)
 
 #ifdef CONFIG_PROFILER
 
+int64_t qemu_time;
+int64_t dev_time;
+
 static void do_info_profile(Monitor *mon)
 {
     int64_t total;