1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * Copyright (C) 2023-2024, Ventana Micro Systems Inc 4 * Author: Sunil V L <sunilvl@ventanamicro.com> 5 */ 6 7 #include <linux/acpi.h> 8 #include "init.h" 9 10 void __init acpi_arch_init(void) 11 { 12 riscv_acpi_init_gsi_mapping(); 13 if (IS_ENABLED(CONFIG_ACPI_RIMT)) 14 riscv_acpi_rimt_init(); 15 } 16