1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (C) 2024-2025, Ventana Micro Systems Inc.
4 * Author: Sunil V L <sunilvl@ventanamicro.com>
5 */
6
7#ifndef _ACPI_RIMT_H
8#define _ACPI_RIMT_H
9
10#ifdef CONFIG_ACPI_RIMT
11int rimt_iommu_register(struct device *dev);
12#else
13static inline int rimt_iommu_register(struct device *dev)
14{
15 return -ENODEV;
16}
17#endif
18
19#if defined(CONFIG_IOMMU_API) && defined(CONFIG_ACPI_RIMT)
20int rimt_iommu_configure_id(struct device *dev, const u32 *id_in);
21#else
22static inline int rimt_iommu_configure_id(struct device *dev, const u32 *id_in)
23{
24 return -ENODEV;
25}
26#endif
27
28#endif /* _ACPI_RIMT_H */
29