replay: wake up vCPU when replaying

[thirdparty/qemu.git] / replay / replay.c

diff --git a/replay/replay.c b/replay/replay.c
index 822826140118eaf0575bbfa8050efeb9d4b390d3..379b51ab46f13e354e3d1479c7bed471b3a8ae4f 100644 (file)
--- a/replay/replay.c
+++ b/replay/replay.c
@@ -224,6 +224,18 @@ out:
     return res;
 }
 
+bool replay_has_checkpoint(void)
+{
+    bool res = false;
+    if (replay_mode == REPLAY_MODE_PLAY) {
+        g_assert(replay_mutex_locked());
+        replay_account_executed_instructions();
+        res = EVENT_CHECKPOINT <= replay_state.data_kind
+              && replay_state.data_kind <= EVENT_CHECKPOINT_LAST;
+    }
+    return res;
+}
+
 static void replay_enable(const char *fname, int mode)
 {
     const char *fmode = NULL;