The following series includes the following record/replay-related changes:
- simplified async event processing
- updated record/replay documentation, which was also converted to rst
- avocado tests for record/replay of Linux for x86_64 and Aarch64
- some bugfixes

---

Pavel Dovgalyuk (9):
      replay: fix event queue flush for qemu shutdown
      replay: notify vCPU when BH is scheduled
      replay: rewrite async event handling
      replay: simplify async event processing
      docs: convert docs/devel/replay page to rst
      docs: move replay docs to docs/system/replay.rst
      tests/avocado: update replay_linux test
      tests/avocado: add replay Linux tests for virtio machine
      tests/avocado: add replay Linux test for Aarch64 machines


 accel/tcg/tcg-accel-ops-icount.c |   5 +-
 docs/devel/index-tcg.rst         |   2 +
 docs/devel/replay.rst            | 306 +++++++++++++++++++++++
 docs/devel/replay.txt            |  46 ----
 docs/replay.txt                  | 410 -------------------------------
 docs/system/index.rst            |   1 +
 docs/system/replay.rst           | 237 ++++++++++++++++++
 include/sysemu/cpu-timers.h      |   1 +
 include/sysemu/replay.h          |   9 +-
 replay/replay-events.c           |  56 ++---
 replay/replay-internal.h         |  35 ++-
 replay/replay-snapshot.c         |   2 -
 replay/replay.c                  |  73 +++---
 softmmu/icount.c                 |  12 +-
 stubs/icount.c                   |   4 +
 tests/avocado/replay_linux.py    |  86 ++++++-
 util/async.c                     |   8 +
 17 files changed, 725 insertions(+), 568 deletions(-)
 create mode 100644 docs/devel/replay.rst
 delete mode 100644 docs/devel/replay.txt
 delete mode 100644 docs/replay.txt
 create mode 100644 docs/system/replay.rst

--
Pavel Dovgalyuk