s5p_cec_reset      22 drivers/media/platform/s5p-cec/exynos_hdmi_cec.h void s5p_cec_reset(struct s5p_cec_dev *cec);
s5p_cec_reset      43 drivers/media/platform/s5p-cec/s5p_cec.c 		s5p_cec_reset(cec);