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

..

apm.c

hw: Clean up includes

2016-01-29 15:07:25 +00:00

i82378.c

hw: Clean up includes

2016-01-29 15:07:25 +00:00

isa-bus.c

char: rename CharDriverState Chardev

2017-01-27 18:07:59 +01:00

lpc_ich9.c

tco: do not generate an NMI

2017-04-05 17:23:52 +02:00

Makefile.objs

Allow ISA bus to be configured out

2017-02-06 12:33:21 +11:00

pc87312.c

char: rename CharDriverState Chardev

2017-01-27 18:07:59 +01:00

piix4.c

x86: Clean up includes

2016-01-29 15:07:22 +00:00

trace-events

trace-events: fix first line comment in trace-events

2016-08-12 10:36:01 +01:00

vt82c686.c

hw: Clean up includes

2016-01-29 15:07:25 +00:00