static inline void platform_set_sysmmu(
struct device *sysmmu, struct device *dev)
{
+#ifndef CONFIG_EXYNOS_IOMMU
+ printk("DEBUG %s %d, %d %d\n", __func__, __LINE__, sysmmu->id, dev->id);
+#else
dev->archdata.iommu = sysmmu;
+#endif
}
#ifdef CONFIG_EXYNOS_IOMMU
#include "drm_crtc_helper.h"
#include <drm/exynos_drm.h>
+#include <linux/pm_runtime.h>
#include "exynos_drm_drv.h"
#include "exynos_drm_crtc.h"
out_hdmi:
#endif
+#ifdef CONFIG_DRM_EXYNOS_DP
platform_driver_unregister(&dp_driver);
+#endif
out_dp_driver:
#ifdef CONFIG_DRM_EXYNOS_FIMD
platform_driver_unregister(&fimd_driver);
platform_driver_unregister(&vidi_driver);
#endif
+#ifdef CONFIG_DRM_EXYNOS_DP
platform_driver_unregister(&dp_driver);
+#endif
#ifdef CONFIG_DRM_EXYNOS_FIMD
platform_driver_unregister(&fimd_driver);
#endif