272 	DRM_DEBUG_DRIVER("\n");  in hdmi_config()
284 		DRM_DEBUG_DRIVER("H Sync Negative\n");  in hdmi_config()
290 		DRM_DEBUG_DRIVER("V Sync Negative\n");  in hdmi_config()
446 	DRM_DEBUG_DRIVER("\n");  in hdmi_avi_infoframe_config()
488 	DRM_DEBUG_DRIVER("enter %s, AIF %s\n", __func__,  in hdmi_audio_infoframe_config()
528 	DRM_DEBUG_DRIVER("\n");  in hdmi_vendor_infoframe_config()
566 	DRM_DEBUG_DRIVER("\n");  in hdmi_swreset()
590 		DRM_DEBUG_DRIVER("Warning: HDMI sw reset timeout occurs\n");  in hdmi_swreset()
759 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_disable()
842 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_configure()
850 	DRM_DEBUG_DRIVER("Audio rate = %d Hz, TMDS clock = %d Hz, n = %d\n",  in hdmi_audio_configure()
886 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_pre_enable()
942 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_set_mode()
983 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_connector_get_modes()
1023 	DRM_DEBUG_DRIVER("target rate = %d => available rate = %d\n",  in sti_hdmi_connector_mode_valid()
1027 		DRM_DEBUG_DRIVER("hdmi pixclk=%d not supported\n", target);  in sti_hdmi_connector_mode_valid()
1048 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_connector_detect()
1051 		DRM_DEBUG_DRIVER("hdmi cable connected\n");  in sti_hdmi_connector_detect()
1055 	DRM_DEBUG_DRIVER("hdmi cable disconnected\n");  in sti_hdmi_connector_detect()
1159 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_shutdown()
1178 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_hw_params()
1208 	DRM_DEBUG_DRIVER("%s\n", enable ? "enable" : "disable");  in hdmi_audio_mute()
1223 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_get_eld()
1246 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_register_audio_driver()