/* SPDX-License-Identifier: GPL-2.0-only */
/*
 *  Copyright (C) 2024-2025, Ventana Micro Systems Inc.
 *	Author: Sunil V L <[email protected]>
 */

#ifndef _ACPI_RIMT_H
#define _ACPI_RIMT_H

#ifdef CONFIG_ACPI_RIMT
int rimt_iommu_register(struct device *dev);
#else
static inline int rimt_iommu_register(struct device *dev)
{
	return -ENODEV;
}
#endif

#if defined(CONFIG_IOMMU_API) && defined(CONFIG_ACPI_RIMT)
int rimt_iommu_configure_id(struct device *dev, const u32 *id_in);
#else
static inline int rimt_iommu_configure_id(struct device *dev, const u32 *id_in)
{
	return -ENODEV;
}
#endif

#endif /* _ACPI_RIMT_H */