include/system/replay.h

4  * Copyright (c) 2010-2015 Institute for System Programming
8  * See the COPYING file in the top-level directory.
14 #include "exec/replay-core.h"
15 #include "qapi/qapi-types-misc.h"
16 #include "qapi/qapi-types-run-state.h"
17 #include "qapi/qapi-types-ui.h"
21 enum ReplayClockKind {
28 typedef enum ReplayClockKind ReplayClockKind;
31 enum ReplayCheckpoint {
43 typedef enum ReplayCheckpoint ReplayCheckpoint;
53  * when doing record/replay. They also are the main sync-point between
54  * the main-loop thread and the vCPU thread. This was a role
105 /*! Used to determine that checkpoint or async event is pending.
109  * Processes the async events added to the queue (while recording)