Sign in
zircon-guest
/
third_party
/
linux
/
4cece764965020c22cff7665b18a012006359095
/
.
/
drivers
/
acpi
/
arm64
/
init.h
blob: dcc277977194b63ecd6576abd0ceb98095c1b8ff [
file
] [
log
] [
blame
]
/* 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
);