PRCMU_TVCLK
u8500_prcmu_hw_clks.hws[PRCMU_TVCLK] =
clk_reg_prcmu_scalable("tvclk", NULL, PRCMU_TVCLK, 0,
return clock_rate(PRCMU_TVCLK) / max((u32)1, div);
src_rate = clock_rate(PRCMU_TVCLK);
div = clock_divider(clock_rate(PRCMU_TVCLK), rate);