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