2019-05-27 08:55:01 +02:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-or-later */
|
2016-05-24 15:31:27 +02:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2015 Samsung Electronics Co.Ltd
|
|
|
|
* Authors: Marek Szyprowski <m.szyprowski@samsung.com>
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef S5P_MFC_IOMMU_H_
|
|
|
|
#define S5P_MFC_IOMMU_H_
|
|
|
|
|
2017-02-13 11:47:51 +01:00
|
|
|
#if defined(CONFIG_EXYNOS_IOMMU)
|
2016-05-24 15:31:27 +02:00
|
|
|
|
|
|
|
static inline bool exynos_is_iommu_available(struct device *dev)
|
|
|
|
{
|
|
|
|
return dev->archdata.iommu != NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
static inline bool exynos_is_iommu_available(struct device *dev)
|
|
|
|
{
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif /* S5P_MFC_IOMMU_H_ */
|