drivers/acpi/arm64/init.c

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