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 #include <linux/iommu.h> 13 14 static inline bool exynos_is_iommu_available(struct device *dev) 15 { 16 return dev_iommu_priv_get(dev) != NULL; 17 } 18 19 #else 20 21 static inline bool exynos_is_iommu_available(struct device *dev) 22 { 23 return false; 24 } 25 26 #endif 27 28 #endif /* S5P_MFC_IOMMU_H_ */ 29