real_hz           832 drivers/gpu/drm/armada/armada_crtc.c 	unsigned long real_hz;		// actual pixel clk
real_hz           856 drivers/gpu/drm/armada/armada_crtc.c 			real_hz = real_clk_hz;
real_hz           867 drivers/gpu/drm/armada/armada_crtc.c 		real_hz = DIV_ROUND_CLOSEST(real_clk_hz, div);
real_hz           871 drivers/gpu/drm/armada/armada_crtc.c 			i, real_clk_hz, div, real_hz);
real_hz           874 drivers/gpu/drm/armada/armada_crtc.c 		if (real_hz < desired_hz) {
real_hz           875 drivers/gpu/drm/armada/armada_crtc.c 			permillage = real_hz / desired_khz;
real_hz           879 drivers/gpu/drm/armada/armada_crtc.c 			permillage = DIV_ROUND_UP(real_hz, desired_khz);
real_hz           891 drivers/gpu/drm/armada/armada_crtc.c 		i, real_clk_hz, div, real_hz);