HardenedBSD/sys/ia64/acpica
..
acpi_machdep.c
acpi_wakeup.c
madt.c
OsdEnvironment.c