cec_freq          589 drivers/media/i2c/tc358743.c 	u32 cec_freq;
cec_freq          627 drivers/media/i2c/tc358743.c 	cec_freq = (656 * sys_freq) / 4200;
cec_freq          628 drivers/media/i2c/tc358743.c 	i2c_wr16(sd, CECHCLK, cec_freq);
cec_freq          629 drivers/media/i2c/tc358743.c 	i2c_wr16(sd, CECLCLK, cec_freq);