xref: /linux/drivers/acpi/arm64/init.h (revision 253f68f413a87a4e2bd93e61b00410e5e1b7b774)
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);
8