ckpxpll            78 drivers/gpu/drm/sti/sti_hdmi_tx3g4c28phy.c 	u32 ckpxpll = hdmi->mode.clock * 1000;
ckpxpll            83 drivers/gpu/drm/sti/sti_hdmi_tx3g4c28phy.c 	DRM_DEBUG_DRIVER("ckpxpll = %dHz\n", ckpxpll);
ckpxpll            86 drivers/gpu/drm/sti/sti_hdmi_tx3g4c28phy.c 		if (ckpxpll >= plldividers[i].min &&
ckpxpll            87 drivers/gpu/drm/sti/sti_hdmi_tx3g4c28phy.c 		    ckpxpll < plldividers[i].max) {
ckpxpll            97 drivers/gpu/drm/sti/sti_hdmi_tx3g4c28phy.c 			  ckpxpll);
ckpxpll           102 drivers/gpu/drm/sti/sti_hdmi_tx3g4c28phy.c 	tmdsck = ckpxpll;