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

…

i82378.c

…

isa-bus.c

…

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

…

piix4.c

…

trace-events

…

vt82c686.c

…