1// SPDX-License-Identifier: GPL-2.0-only 2#include <linux/acpi.h> 3#include "init.h" 4 5void __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