CLK_HDMI_CEC     1287 drivers/clk/clk-stm32f4.c 		CLK_HDMI_CEC, "hdmi-cec",
CLK_HDMI_CEC     1439 drivers/clk/clk-stm32f4.c 		CLK_HDMI_CEC, "hdmi-cec",
CLK_HDMI_CEC      933 drivers/clk/samsung/clk-exynos4.c 	GATE(CLK_HDMI_CEC, "hdmi_cec", "aclk100", E4210_GATE_IP_PERIR, 11, 0,
CLK_HDMI_CEC      975 drivers/clk/samsung/clk-exynos4.c 	GATE(CLK_HDMI_CEC, "hdmi_cec", "aclk100", E4X12_GATE_IP_PERIR, 11, 0,
CLK_HDMI_CEC      624 drivers/clk/samsung/clk-exynos5250.c 	GATE(CLK_HDMI_CEC, "hdmi_cec", "div_aclk66", GATE_IP_PERIS, 16, 0, 0),
CLK_HDMI_CEC     1118 drivers/clk/samsung/clk-exynos5420.c 	GATE(CLK_HDMI_CEC, "hdmi_cec", "aclk66_psgen", GATE_IP_PERIS, 16, 0, 0),
CLK_HDMI_CEC     1053 drivers/clk/sunxi-ng/ccu-sun50i-h6.c 		[CLK_HDMI_CEC]		= &hdmi_cec_clk.common.hw,