PRCMU_TVCLK       192 drivers/clk/ux500/u8500_of_clk.c 	clk = clk_reg_prcmu_scalable("tvclk", NULL, PRCMU_TVCLK, 0,
PRCMU_TVCLK       194 drivers/clk/ux500/u8500_of_clk.c 	prcmu_clk[PRCMU_TVCLK] = clk;
PRCMU_TVCLK      1610 drivers/mfd/db8500-prcmu.c 	return clock_rate(PRCMU_TVCLK) / max((u32)1, div);
PRCMU_TVCLK      1800 drivers/mfd/db8500-prcmu.c 	src_rate = clock_rate(PRCMU_TVCLK);
PRCMU_TVCLK      1972 drivers/mfd/db8500-prcmu.c 	div = clock_divider(clock_rate(PRCMU_TVCLK), rate);