diff options
author | Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru> | 2015-09-17 19:25:07 +0300 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2015-11-06 10:16:03 +0100 |
commit | 7615936ebf4e60c4565268a30df2356c841526f8 (patch) | |
tree | dfabb8259e1043afca4312d37cbd5c6ef6b06178 /stubs/replay.c | |
parent | 8a354bd935a800dd2d98ac8f30707e2912c80ae6 (diff) |
replay: initialization and deinitialization
This patch introduces the functions for enabling the record/replay and for
freeing the resources when simulator closes.
Reviewed-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
Message-Id: <20150917162507.8676.90232.stgit@PASHA-ISP.def.inno>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>
Diffstat (limited to 'stubs/replay.c')
-rw-r--r-- | stubs/replay.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/stubs/replay.c b/stubs/replay.c index 3354fcf9bb..8f98790257 100644 --- a/stubs/replay.c +++ b/stubs/replay.c @@ -20,3 +20,12 @@ bool replay_checkpoint(ReplayCheckpoint checkpoint) { return true; } + +bool replay_events_enabled(void) +{ + return false; +} + +void replay_finish(void) +{ +} |