/* SPDX-License-Identifier: GPL-2.0-or-later */
|
/*
|
* Copyright (C) 2015 Samsung Electronics Co.Ltd
|
* Authors: Marek Szyprowski <m.szyprowski@samsung.com>
|
*/
|
|
#ifndef S5P_MFC_IOMMU_H_
|
#define S5P_MFC_IOMMU_H_
|
|
#if defined(CONFIG_EXYNOS_IOMMU)
|
|
#include <linux/iommu.h>
|
|
static inline bool exynos_is_iommu_available(struct device *dev)
|
{
|
return dev_iommu_priv_get(dev) != NULL;
|
}
|
|
#else
|
|
static inline bool exynos_is_iommu_available(struct device *dev)
|
{
|
return false;
|
}
|
|
#endif
|
|
#endif /* S5P_MFC_IOMMU_H_ */
|
