kernel/acpi: Add two debug tunables, debug.acpi.{ignore_xsdt,fadt_addr32}.
[dragonfly.git] / sys / dev / acpica / acpi_dock /
drwxr-xr-x   ..
-rw-r--r-- 209 Makefile
-rw-r--r-- 12911 acpi_dock.c