504 	unsigned int tmdsclock = pixelclock;  in hdmi_get_tmdsclock()  local
511 			tmdsclock = pixelclock * 2;  in hdmi_get_tmdsclock()
514 			tmdsclock = pixelclock * 3 / 2;  in hdmi_get_tmdsclock()
517 			tmdsclock = pixelclock * 5 / 4;  in hdmi_get_tmdsclock()
524 	return tmdsclock;  in hdmi_get_tmdsclock()
935 	unsigned long tmdsclock, pixclock = mode->clock;  in drm_rk_select_color()  local
1003 		tmdsclock = pixclock;  in drm_rk_select_color()
1005 		tmdsclock = pixclock * color_depth / 8;  in drm_rk_select_color()
1008 		tmdsclock /= 2;  in drm_rk_select_color()
1018 	if (tmdsclock > max_tmds_clock) {  in drm_rk_select_color()
1022 			if (drm_mode_is_420(info, mode) || tmdsclock >= 594000)  in drm_rk_select_color()
1026 			if (drm_mode_is_420(info, mode) || tmdsclock >= 594000)  in drm_rk_select_color()