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 /replay/replay-internal.h | |
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 'replay/replay-internal.h')
-rw-r--r-- | replay/replay-internal.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/replay/replay-internal.h b/replay/replay-internal.h index 7ba60642e1..d40de2b3bd 100644 --- a/replay/replay-internal.h +++ b/replay/replay-internal.h @@ -33,6 +33,8 @@ enum ReplayEvents { /* some of greater codes are reserved for checkpoints */ EVENT_CHECKPOINT, EVENT_CHECKPOINT_LAST = EVENT_CHECKPOINT + CHECKPOINT_COUNT - 1, + /* end of log event */ + EVENT_END, EVENT_COUNT }; |