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 void cpu_exec_reset_hold(CPUState
*cpu
)
21 /* User mode emulation does not support record/replay yet. */
23 bool replay_exception(void)
28 bool replay_has_exception(void)
33 bool replay_interrupt(void)
38 bool replay_has_interrupt(void)