init.h

1/* SPDX-License-Identifier: GPL-2.0-only */
2#include <linux/init.h>
3
4void __init riscv_acpi_init_gsi_mapping(void);
5void __init riscv_acpi_rimt_init(void);