drivers/acpi/arm64/init.h


1
2
3
4
5
6
7

/* SPDX-License-Identifier: GPL-2.0-only */
#include <linux/init.h>

void __init acpi_agdi_init(void);
void __init acpi_apmt_init(void);
void __init acpi_iort_init(void);
void __init acpi_amba_init(void);