cec_clk_div       139 drivers/media/platform/sti/cec/stih-cec.c 		u32 cec_clk_div = clk_freq / 10000;
cec_clk_div       141 drivers/media/platform/sti/cec/stih-cec.c 		writel(cec_clk_div, cec->regs + CEC_CLK_DIV);