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