// SPDX-License-Identifier: GPL-2.0-only /* * Copyright (C) 2023-2024, Ventana Micro Systems Inc * Author: Sunil V L <sunilvl@ventanamicro.com> */ #include <linux/acpi.h> #include "init.h" void __init acpi_arch_init(void) { riscv_acpi_init_gsi_mapping(); if (IS_ENABLED(CONFIG_ACPI_RIMT)) riscv_acpi_rimt_init(); }