Rui Paulo 51091a0763 Fix a KTR_BUSDMA format string.		2013-06-18 06:55:58 +00:00
..
acpica
bios
cpufreq
include
isa
pci
x86	Fix a KTR_BUSDMA format string.	2013-06-18 06:55:58 +00:00