kernel/acpi: Use device_printf() in a few places.
authorSascha Wildner <saw@online.de>
Tue, 1 Jul 2014 14:23:56 +0000 (16:23 +0200)
committerSascha Wildner <saw@online.de>
Tue, 1 Jul 2014 14:23:56 +0000 (16:23 +0200)
commite11869f0f2c97b0d5189fbc5d9e395cf5a682104
tree6988fcb181b250432988b89c999c92bb1c36ae8b
parent9e54ce425849271bae6c40b72fec68c0c6d77f82
kernel/acpi: Use device_printf() in a few places.
sys/dev/acpica/acpi.c