hdmi_core_configure_range  620 drivers/gpu/drm/omapdrm/dss/hdmi5_core.c 	hdmi_core_configure_range(core);
hdmi_core_configure_range  612 drivers/video/fbdev/omap2/omapfb/dss/hdmi5_core.c 	hdmi_core_configure_range(core);