acpi_boot_init 1059 arch/x86/kernel/setup.c acpi_boot_init(); acpi_boot_init 83 include/linux/acpi.h int acpi_boot_init (void);