Symbol: acpi_init
src/system/boot/platform/bios_ia32/acpi.cpp
228
acpi_init()
src/system/boot/platform/efi/acpi.cpp
206
acpi_init()