NetBSD/sys/arch/ia64/include/acpi_machdep.h