Igor Pavlikevich 6c608953a5 hw/acpi/tco.c: fix tco timer stop ... TCO timer does not actually stop Signed-off-by: Igor Pavlikevich <ipavlikevich@gmail.com> Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>		2017-02-28 09:03:39 +03:00
..
acpi-stub.c	acpi: filter based on CONFIG_ACPI_X86 rather than TARGET	2017-01-16 17:52:35 +01:00
acpi_interface.c
aml-build.c
bios-linker-loader.c
core.c
cpu.c	change CPUArchId.cpu type to Object*	2017-02-22 11:28:28 +11:00
cpu_hotplug.c	machine: Make possible_cpu_arch_ids() return const pointer	2017-01-23 21:25:37 -02:00
ich9.c
ipmi-stub.c
ipmi.c
Makefile.objs	acpi: filter based on CONFIG_ACPI_X86 rather than TARGET	2017-01-16 17:52:35 +01:00
memory_hotplug.c
nvdimm.c
pcihp.c
piix4.c
tco.c	hw/acpi/tco.c: fix tco timer stop	2017-02-28 09:03:39 +03:00
trace-events