diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2016-10-24 10:35:53 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2017-01-16 17:52:35 +0100 |
commit | 5564edb19e06129b62b4b272c290db2efb87cefc (patch) | |
tree | 9ea4a05d6fd285090747f9cfec73f3454ffd04d7 /user-exec-stub.c | |
parent | 2f7b92a03f1e3813fc046d757138da519f4218d3 (diff) |
stubs: group stubs for user-mode emulation
Some stubs are used for user-mode emulation only; they are not
needed by tools. Move them out of stubs/.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'user-exec-stub.c')
-rw-r--r-- | user-exec-stub.c | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/user-exec-stub.c b/user-exec-stub.c new file mode 100644 index 0000000000..dbcf1ade9c --- /dev/null +++ b/user-exec-stub.c @@ -0,0 +1,34 @@ +#include "qemu/osdep.h" +#include "qemu-common.h" +#include "qom/cpu.h" +#include "sysemu/replay.h" + +void cpu_resume(CPUState *cpu) +{ +} + +void qemu_init_vcpu(CPUState *cpu) +{ +} + +/* User mode emulation does not support record/replay yet. */ + +bool replay_exception(void) +{ + return true; +} + +bool replay_has_exception(void) +{ + return false; +} + +bool replay_interrupt(void) +{ + return true; +} + +bool replay_has_interrupt(void) +{ + return false; +} |