John Baldwin e119a7bcdb Use a dedicated taskqueue with a thread that runs at a software-interrupt ... priority for the periodic polling of the machine check registers.		2011-02-03 13:09:22 +00:00
..
acpica
bios
cpufreq
include
isa
pci
x86	Use a dedicated taskqueue with a thread that runs at a software-interrupt	2011-02-03 13:09:22 +00:00