acpi_rimt.h

 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 */