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

source code of linux/drivers/acpi/arm64/init.c