ARK-OS/arkos/kernel/drivers/acpi/riscv/init.h

/* SPDX-License-Identifier: GPL-2.0-only */
#include <linux/init.h>

void __init riscv_acpi_init_gsi_mapping(void);
void __init riscv_acpi_rimt_init(void);