mirror_qemu/hw/core
Pavel Dovgalyuk 8a354bd935 replay: ptimer
This patch adds deterministic replay for hardware periodic countdown timers.
ptimer uses bottom halves layer to execute such an asynchronous callback.
We put this callback into the replay queue instead of bottom halves one.
When checkpoint is met by main loop thread, the replay queue is processed
and callback is executed. Binding callback moment to one of the checkpoints
makes it deterministic.

Signed-off-by: Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
Message-Id: <20150917162456.8676.83366.stgit@PASHA-ISP.def.inno>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>
2015-11-06 10:16:03 +01:00
..
Makefile.objs Create specific config option for "platform-bus" 2015-02-27 15:17:42 +01:00
empty_slot.c empty_slot: QOM cast cleanup 2013-07-29 21:06:37 +02:00
fw-path-provider.c fw_cfg: fix typos in comments: patch -> path 2015-02-10 09:27:19 +03:00
hotplug.c qdev: HotplugHandler: Provide unplug callback 2014-10-15 05:03:13 +02:00
irq.c irq: Remove qemu_irq_intercept_out 2014-10-23 16:41:25 +02:00
loader.c loader: Fix memory_region_init_resizeable_ram() error handling 2015-09-18 14:39:35 +02:00
machine.c machine: Set MachineClass::name automatically 2015-09-19 16:39:28 +02:00
nmi.c qerror: Clean up QERR_ macros to expand into a single string 2015-06-22 18:20:40 +02:00
null-machine.c Use DEFINE_MACHINE() to register all machines 2015-09-19 16:40:15 +02:00
platform-bus.c Include monitor/monitor.h exactly where needed 2015-06-22 18:20:41 +02:00
ptimer.c replay: ptimer 2015-11-06 10:16:03 +01:00
qdev-properties-system.c qdev-properties-system: Improve error message for drive assignment conflict 2015-06-26 14:22:36 +01:00
qdev-properties.c maint: avoid useless "if (foo) free(foo)" pattern 2015-09-11 10:21:38 +03:00
qdev.c qdev: Do not use slow [*] expansion for GPIO creation 2015-09-19 08:10:12 +02:00
stream.c stream: Remove app argument hack 2013-04-16 10:04:23 +02:00
sysbus.c sysbus: add irq_routing_notifier 2015-07-06 12:15:14 -06:00
uboot_image.h hw: move private headers to hw/ subdirectories. 2013-04-08 18:13:16 +02:00