headers/private/kernel/acpi.h src/add-ons/kernel/bus_managers/acpi/acpica/include/acpi.h src/system/boot/platform/bios_ia32/acpi.h src/system/boot/platform/efi/acpi.h
