263 	DRM_DEBUG_DRIVER("\n");  in hdmi_config()
275 		DRM_DEBUG_DRIVER("H Sync Negative\n");  in hdmi_config()
281 		DRM_DEBUG_DRIVER("V Sync Negative\n");  in hdmi_config()
438 	DRM_DEBUG_DRIVER("\n");  in hdmi_avi_infoframe_config()
480 	DRM_DEBUG_DRIVER("enter %s, AIF %s\n", __func__,  in hdmi_audio_infoframe_config()
520 	DRM_DEBUG_DRIVER("\n");  in hdmi_vendor_infoframe_config()
557 	DRM_DEBUG_DRIVER("\n");  in hdmi_swreset()
581 		DRM_DEBUG_DRIVER("Warning: HDMI sw reset timeout occurs\n");  in hdmi_swreset()
750 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_disable()
833 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_configure()
841 	DRM_DEBUG_DRIVER("Audio rate = %d Hz, TMDS clock = %d Hz, n = %d\n",  in hdmi_audio_configure()
877 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_pre_enable()
933 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_set_mode()
974 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_connector_get_modes()
1013 	DRM_DEBUG_DRIVER("target rate = %d => available rate = %d\n",  in sti_hdmi_connector_mode_valid()
1017 		DRM_DEBUG_DRIVER("hdmi pixclk=%d not supported\n", target);  in sti_hdmi_connector_mode_valid()
1038 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_connector_detect()
1041 		DRM_DEBUG_DRIVER("hdmi cable connected\n");  in sti_hdmi_connector_detect()
1045 	DRM_DEBUG_DRIVER("hdmi cable disconnected\n");  in sti_hdmi_connector_detect()
1152 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_shutdown()
1171 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_hw_params()
1200 	DRM_DEBUG_DRIVER("%s\n", enable ? "enable" : "disable");  in hdmi_audio_digital_mute()
1215 	DRM_DEBUG_DRIVER("\n");  in hdmi_audio_get_eld()
1237 	DRM_DEBUG_DRIVER("\n");  in sti_hdmi_register_audio_driver()