blob: 2dc6fd9c4e8c1798b54ce2b6429ca7321b19ec01 [file] [log] [blame]
#include "qemu/osdep.h"
#include "hw/core/cpu.h"
#include "exec/replay-core.h"
void cpu_resume(CPUState *cpu)
{
}
void cpu_remove_sync(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;
}