hdmi_display_set_timings 467 drivers/gpu/drm/omapdrm/dss/hdmi4.c .set_timings = hdmi_display_set_timings, hdmi_display_set_timings 461 drivers/gpu/drm/omapdrm/dss/hdmi5.c .set_timings = hdmi_display_set_timings,