260 	DRM_DEBUG_DRIVER("\n");  in hdmi_config()
272 		DRM_DEBUG_DRIVER("H Sync Negative\n");  in hdmi_config()
278 		DRM_DEBUG_DRIVER("V Sync Negative\n");  in hdmi_config()
435 	DRM_DEBUG_DRIVER("\n");  in hdmi_avi_infoframe_config()
476 	DRM_DEBUG_DRIVER("enter %s, AIF %s\n", __func__,  in hdmi_audio_infoframe_config()
516 	DRM_DEBUG_DRIVER("\n");  in hdmi_vendor_infoframe_config()
553 	DRM_DEBUG_DRIVER("\n");  in hdmi_swreset()
577 		DRM_DEBUG_DRIVER("Warning: HDMI sw reset timeout occurs\n");  in hdmi_swreset()
746 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_disable()
829 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_configure()
837 	DRM_DEBUG_DRIVER("Audio rate = %d Hz, TMDS clock = %d Hz, n = %d\n",  in hdmi_audio_configure()
870 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_pre_enable()
926 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_set_mode()
967 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_connector_get_modes()
1006 	DRM_DEBUG_DRIVER("target rate = %d => available rate = %d\n",  in sti_hdmi_connector_mode_valid()
1010 		DRM_DEBUG_DRIVER("hdmi pixclk=%d not supported\n", target);  in sti_hdmi_connector_mode_valid()
1031 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_connector_detect()
1034 		DRM_DEBUG_DRIVER("hdmi cable connected\n");  in sti_hdmi_connector_detect()
1038 	DRM_DEBUG_DRIVER("hdmi cable disconnected\n");  in sti_hdmi_connector_detect()
1145 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_shutdown()
1164 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_hw_params()
1193 	DRM_DEBUG_DRIVER("%s\n", enable ? "enable" : "disable");  in hdmi_audio_digital_mute()
1208 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_get_eld()
1230 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_register_audio_driver()