headers/private/kernel/boot/platform/efi/arch_acpi.h
src/add-ons/kernel/drivers/timer/arch_acpi.h