hdmi_core_disable  431 drivers/gpu/drm/omapdrm/dss/hdmi5.c 		hdmi_core_disable(hdmi);
hdmi_core_disable  472 drivers/video/fbdev/omap2/omapfb/dss/hdmi4.c 		hdmi_core_disable(dssdev);
hdmi_core_disable  502 drivers/video/fbdev/omap2/omapfb/dss/hdmi5.c 		hdmi_core_disable(dssdev);