acpi_init 186 kernel/arch/amd64/src/amd64.c acpi_init(); acpi_init 173 kernel/arch/ia32/src/ia32.c acpi_init(); acpi_init 88 kernel/genarch/include/genarch/acpi/acpi.h extern void acpi_init(void);