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