HardenedBSD/sys/amd64/acpica
..
acpi_machdep.c
acpi_wakecode.S