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