HDMI_TYPE13       636 drivers/gpu/drm/exynos/exynos_hdmi.c 	.type		= HDMI_TYPE13,
HDMI_TYPE13      1154 drivers/gpu/drm/exynos/exynos_hdmi.c 	if (hdata->drv_data->type == HDMI_TYPE13) {
HDMI_TYPE13      1393 drivers/gpu/drm/exynos/exynos_hdmi.c 	if (hdata->drv_data->type == HDMI_TYPE13)