805 	unsigned int tmdsclock = pixelclock;  in hdmi_get_tmdsclock()  local
812 			tmdsclock = pixelclock * 2;  in hdmi_get_tmdsclock()
815 			tmdsclock = pixelclock * 3 / 2;  in hdmi_get_tmdsclock()
818 			tmdsclock = pixelclock * 5 / 4;  in hdmi_get_tmdsclock()
825 	return tmdsclock;  in hdmi_get_tmdsclock()
1948 	unsigned long tmdsclock, pixclock;  in dw_hdmi_rockchip_select_output()  local
2083 		tmdsclock = pixclock;  in dw_hdmi_rockchip_select_output()
2085 		tmdsclock = pixclock * (color_depth) / 8;  in dw_hdmi_rockchip_select_output()
2088 		tmdsclock /= 2;  in dw_hdmi_rockchip_select_output()
2100 	if (tmdsclock > max_tmds_clock) {  in dw_hdmi_rockchip_select_output()
2104 			if (drm_mode_is_420(info, &mode) || tmdsclock >= 594000)  in dw_hdmi_rockchip_select_output()
2108 			if (drm_mode_is_420(info, &mode) || tmdsclock >= 594000)  in dw_hdmi_rockchip_select_output()