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