hdmi4_uninit_output  781 drivers/gpu/drm/omapdrm/dss/hdmi4.c 	hdmi4_uninit_output(hdmi);
hdmi4_uninit_output  795 drivers/gpu/drm/omapdrm/dss/hdmi4.c 	hdmi4_uninit_output(hdmi);