Suggested-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org> Message-Id: <20170911213328.9701-3-f4bug@amsat.org> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
		
			
				
	
	
		
			35 lines
		
	
	
		
			447 B
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			35 lines
		
	
	
		
			447 B
		
	
	
	
		
			C
		
	
	
	
	
	
#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;
 | 
						|
}
 |