hdmi_display_get_timings  500 drivers/video/fbdev/omap2/omapfb/dss/hdmi4.c 	.get_timings		= hdmi_display_get_timings,
hdmi_display_get_timings  530 drivers/video/fbdev/omap2/omapfb/dss/hdmi5.c 	.get_timings		= hdmi_display_get_timings,