// 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();
}