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

…