Symbol: acpi_init
src/system/boot/platform/bios_ia32/acpi.h
22
void acpi_init(void);
src/system/boot/platform/bios_ia32/start.cpp
204
acpi_init();
src/system/boot/platform/efi/acpi.h
16
void acpi_init(void);
src/system/boot/platform/efi/start.cpp
254
acpi_init();