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