drivers/acpi/arm64/init.h

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2 #include <linux/init.h>
   3
   4 void __init acpi_agdi_init(void);
   5 void __init acpi_apmt_init(void);
   6 void __init acpi_iort_init(void);
   7 void __init acpi_amba_init(void);