diff options
| author | Pavel Dovgalyuk <pavel.dovgaluk@gmail.com> | 2019-12-19 15:50:48 +0300 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2020-01-07 12:08:39 +0100 |
| commit | 878ec29b9c1915ea0da951064b8aac3050f2f5b9 (patch) | |
| tree | 157253fa0974bd1e85f066c9c98b102e5de5cc67 /replay/replay-internal.h | |
| parent | fc6b2dbac1d57fc24420fb8ee25911eb6f1d1fb5 (diff) | |
replay: record and replay random number sources
Record/replay feature of icount allows deterministic running of execution
scenarios. Some CPUs and peripheral devices read random numbers from
external sources making deterministic execution impossible.
This patch adds recording and replaying of random read operations
into guest-random module, which is used by the virtual hardware.
Signed-off-by: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>
Message-Id: <157675984852.14505.15709141760677102489.stgit@pasha-Precision-3630-Tower>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
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 55fca1ac6b..33ac551e78 100644 --- a/replay/replay-internal.h +++ b/replay/replay-internal.h @@ -34,6 +34,8 @@ enum ReplayEvents { EVENT_AUDIO_OUT, /* for audio in event */ EVENT_AUDIO_IN, + /* for random number generator */ + EVENT_RANDOM, /* for clock read/writes */ /* some of greater codes are reserved for clocks */ EVENT_CLOCK, |