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 
exynos_is_iommu_available(struct device * dev)12 static inline bool exynos_is_iommu_available(struct device *dev)
13 {
14 	return dev->archdata.iommu != NULL;
15 }
16 
17 #else
18 
exynos_is_iommu_available(struct device * dev)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_ */
27