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
..
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
Makefile.objs	Create specific config option for "platform-bus"	2015-02-27 15:17:42 +01: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