/sys/arch/ia64/acpi/
../
acpi_machdep.c
madt.c