]>
Commit | Line | Data |
---|---|---|
5564edb1 | 1 | #include "qemu/osdep.h" |
2e5b09fd | 2 | #include "hw/core/cpu.h" |
5b5968c4 | 3 | #include "exec/replay-core.h" |
2266d443 | 4 | |
5564edb1 PB |
5 | void cpu_resume(CPUState *cpu) |
6 | { | |
7 | } | |
8 | ||
f1023d21 GK |
9 | void cpu_remove_sync(CPUState *cpu) |
10 | { | |
11 | } | |
12 | ||
5564edb1 PB |
13 | void qemu_init_vcpu(CPUState *cpu) |
14 | { | |
15 | } | |
16 | ||
17 | /* User mode emulation does not support record/replay yet. */ | |
18 | ||
19 | bool replay_exception(void) | |
20 | { | |
21 | return true; | |
22 | } | |
23 | ||
24 | bool replay_has_exception(void) | |
25 | { | |
26 | return false; | |
27 | } | |
28 | ||
29 | bool replay_interrupt(void) | |
30 | { | |
31 | return true; | |
32 | } | |
33 | ||
34 | bool replay_has_interrupt(void) | |
35 | { | |
36 | return false; | |
37 | } |