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	Remove unneeded includes of <sys/linker_set.h>. Other headers that use	2011-01-11 13:59:06 +00:00
bios
cpufreq
include	Copy powerpc/include/_inttypes.h to x86 and replace i386/amd64/pc98	2011-01-08 18:09:48 +00:00
isa	Small style fixes:	2010-12-16 17:05:28 +00:00
pci
x86	Use a dedicated taskqueue with a thread that runs at a software-interrupt	2011-02-03 13:09:22 +00:00