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);