2019-05-27 06:55:01 +00:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-or-later */
|
2016-05-24 13:31:27 +00: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 10:47:51 +00:00
|
|
|
#if defined(CONFIG_EXYNOS_IOMMU)
|
2016-05-24 13:31:27 +00:00
|
|
|
|
2020-06-25 13:08:24 +00:00
|
|
|
#include <linux/iommu.h>
|
|
|
|
|
2016-05-24 13:31:27 +00:00
|
|
|
static inline bool exynos_is_iommu_available(struct device *dev)
|
|
|
|
{
|
2020-06-25 13:08:24 +00:00
|
|
|
return dev_iommu_priv_get(dev) != NULL;
|
2016-05-24 13:31:27 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
static inline bool exynos_is_iommu_available(struct device *dev)
|
|
|
|
{
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif /* S5P_MFC_IOMMU_H_ */
|