Symbol: arch_handle_acpi
headers/private/kernel/boot/platform/efi/arch_acpi.h
12
void arch_handle_acpi(void);
src/system/boot/platform/efi/acpi.cpp
223
arch_handle_acpi();