1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 * Copyright (C) 2015 Samsung Electronics Co.Ltd
4 * Authors: Marek Szyprowski <m.szyprowski@samsung.com>
7 #ifndef S5P_MFC_IOMMU_H_
8 #define S5P_MFC_IOMMU_H_
10 #if defined(CONFIG_EXYNOS_IOMMU)
12 #include <linux/iommu.h>
14 static inline bool exynos_is_iommu_available(struct device
*dev
)
16 return dev_iommu_priv_get(dev
) != NULL
;
21 static inline bool exynos_is_iommu_available(struct device
*dev
)
28 #endif /* S5P_MFC_IOMMU_H_ */