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,