1 #include "qemu/osdep.h"
2 #include "hw/core/cpu.h"
3 #include "exec/replay-core.h"
5 void cpu_resume(CPUState
*cpu
)
9 void cpu_remove_sync(CPUState
*cpu
)
13 void qemu_init_vcpu(CPUState
*cpu
)
17 /* User mode emulation does not support record/replay yet. */
19 bool replay_exception(void)
24 bool replay_has_exception(void)
29 bool replay_interrupt(void)
34 bool replay_has_interrupt(void)