diff --git a/monitor.c b/monitor.c
index 297c0a42d2..1ff9bde6e0 100644
--- a/monitor.c
+++ b/monitor.c
@@ -251,6 +251,9 @@ static void do_info_history (void)
 
 static void do_quit(void)
 {
+#ifdef USE_KQEMU
+    kqemu_record_dump();
+#endif
     exit(0);
 }
 
diff --git a/vl.h b/vl.h
index e0bc8b855c..31d05b6b58 100644
--- a/vl.h
+++ b/vl.h
@@ -878,4 +878,6 @@ const char *readline_get_history(unsigned int index);
 void readline_start(const char *prompt, int is_password,
                     ReadLineFunc *readline_func, void *opaque);
 
+void kqemu_record_dump(void);
+
 #endif /* VL_H */