1 #include "qemu/osdep.h"
2 #include "hw/core/cpu.h"
3 #include "sysemu/replay.h"
4 #include "sysemu/sysemu.h"
5 
6 bool enable_cpu_pm = false;
7 
cpu_resume(CPUState * cpu)8 void cpu_resume(CPUState *cpu)
9 {
10 }
11 
qemu_init_vcpu(CPUState * cpu)12 void qemu_init_vcpu(CPUState *cpu)
13 {
14 }
15 
16 /* User mode emulation does not support record/replay yet.  */
17 
replay_exception(void)18 bool replay_exception(void)
19 {
20     return true;
21 }
22 
replay_has_exception(void)23 bool replay_has_exception(void)
24 {
25     return false;
26 }
27 
replay_interrupt(void)28 bool replay_interrupt(void)
29 {
30     return true;
31 }
32 
replay_has_interrupt(void)33 bool replay_has_interrupt(void)
34 {
35     return false;
36 }
37