1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 /*
3 * Copyright (C) 2015 Samsung Electronics Co.Ltd
4 * Authors: Marek Szyprowski <m.szyprowski@samsung.com>
5 */
6
7 #ifndef S5P_MFC_IOMMU_H_
8 #define S5P_MFC_IOMMU_H_
9
10 #if defined(CONFIG_EXYNOS_IOMMU)
11
12 static inline bool exynos_is_iommu_available(struct device *dev)
13 {
14 return dev->archdata.iommu != NULL;
15 }
16
17 #else
18
19 static inline bool exynos_is_iommu_available(struct device *dev)
20 {
21 return false;
22 }
23
24 #endif
25
26 #endif /* S5P_MFC_IOMMU_H_ */