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