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