init.c

 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
10void __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}