Paolo Bonzini 8c9f42f3cf tco: do not generate an NMI ... This behavior is not indicated in the datasheet and can confuse the OS. The TCO can trap NMIs from SERR# or IOCHK# and convert them to SMIs; but any other TCO event is either delivered as an SMI or completely disabled. Reviewed-by: Laszlo Ersek <lersek@redhat.com> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>		2017-04-05 17:23:52 +02:00
..
acpi_interface.c
acpi-stub.c	acpi: filter based on CONFIG_ACPI_X86 rather than TARGET	2017-01-16 17:52:35 +01:00
aml-build.c	ACPI: Add vmgenid blob storage to the build tables	2017-03-02 07:14:26 +02:00
bios-linker-loader.c	linker-loader: Add new 'write pointer' command	2017-03-02 07:14:26 +02:00
core.c
cpu_hotplug.c	machine: Make possible_cpu_arch_ids() return const pointer	2017-01-23 21:25:37 -02:00
cpu.c	change CPUArchId.cpu type to Object*	2017-02-22 11:28:28 +11:00
ich9.c
ipmi-stub.c
ipmi.c
Makefile.objs	ACPI: Add Virtual Machine Generation ID support	2017-03-02 07:14:27 +02:00
memory_hotplug.c
nvdimm.c
pcihp.c	pc: pcihp: avoid adding ACPI_PCIHP_PROP_BSEL twice	2017-03-01 11:51:05 +04:00
piix4.c	bus: do not unref hotplug handler	2017-03-01 11:51:28 +04:00
tco.c	tco: do not generate an NMI	2017-04-05 17:23:52 +02:00
trace-events
vmgenid.c	hw/acpi/vmgenid: prevent more than one vmgenid device	2017-03-22 18:29:27 +02:00