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