s5p_cec_set_addr   28 drivers/media/platform/s5p-cec/exynos_hdmi_cec.h void s5p_cec_set_addr(struct s5p_cec_dev *cec, u32 addr);
s5p_cec_set_addr   64 drivers/media/platform/s5p-cec/s5p_cec.c 	s5p_cec_set_addr(cec, addr);