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