hdmi_wp_video_config_timing  163 drivers/gpu/drm/omapdrm/dss/hdmi_wp.c void hdmi_wp_video_config_timing(struct hdmi_wp_data *wp,
hdmi_wp_video_config_timing  162 drivers/video/fbdev/omap2/omapfb/dss/hdmi_wp.c void hdmi_wp_video_config_timing(struct hdmi_wp_data *wp,