hdmi5_uninit_output  765 drivers/gpu/drm/omapdrm/dss/hdmi5.c 	hdmi5_uninit_output(hdmi);
hdmi5_uninit_output  779 drivers/gpu/drm/omapdrm/dss/hdmi5.c 	hdmi5_uninit_output(hdmi);