1 // SPDX-License-Identifier: GPL-2.0-only 2 #include <linux/acpi.h> 3 #include "init.h" 4 5 void __init acpi_arm_init(void) 6 { 7 if (IS_ENABLED(CONFIG_ACPI_AGDI)) 8 acpi_agdi_init(); 9 if (IS_ENABLED(CONFIG_ACPI_APMT)) 10 acpi_apmt_init(); 11 if (IS_ENABLED(CONFIG_ACPI_IORT)) 12 acpi_iort_init(); 13 if (IS_ENABLED(CONFIG_ARM_AMBA)) 14 acpi_amba_init(); 15 } 16