294 		DRM_ERROR("unsupported infoframe type: %#x\n", *ptr);  in hdmi_infoframe_write_infopack()
350 		DRM_ERROR("failed to setup AVI infoframe: %d\n", ret);  in hdmi_avi_infoframe_config()
361 		DRM_ERROR("failed to pack AVI infoframe: %d\n", ret);  in hdmi_avi_infoframe_config()
389 		DRM_ERROR("failed to setup audio infoframe: %d\n", ret);  in hdmi_audio_infoframe_config()
397 		DRM_ERROR("failed to pack audio infoframe: %d\n", ret);  in hdmi_audio_infoframe_config()
495 		DRM_ERROR("Failed to prepare/enable hdmi_pix clk\n");  in sti_hdmi_pre_enable()
497 		DRM_ERROR("Failed to prepare/enable hdmi_tmds clk\n");  in sti_hdmi_pre_enable()
499 		DRM_ERROR("Failed to prepare/enable hdmi_rejec_pll clk\n");  in sti_hdmi_pre_enable()
505 		DRM_ERROR("Unable to start hdmi phy\n");  in sti_hdmi_pre_enable()
520 		DRM_ERROR("Unable to configure AVI infoframe\n");  in sti_hdmi_pre_enable()
524 		DRM_ERROR("Unable to configure AUDIO infoframe\n");  in sti_hdmi_pre_enable()
545 		DRM_ERROR("Cannot set rate (%dHz) for hdmi_pix clk\n",  in sti_hdmi_set_mode()
551 		DRM_ERROR("Cannot set rate (%dHz) for hdmi_rejection_pll clk\n",  in sti_hdmi_set_mode()
591 	DRM_ERROR("Can't read HDMI EDID\n");  in sti_hdmi_connector_get_modes()
738 		DRM_ERROR("Failed to attach a connector to a encoder\n");  in sti_hdmi_bind()
807 		DRM_ERROR("Invalid hdmi resource\n");  in sti_hdmi_probe()
821 			DRM_ERROR("Invalid syscfg resource\n");  in sti_hdmi_probe()
839 		DRM_ERROR("Cannot get hdmi_pix clock\n");  in sti_hdmi_probe()
846 		DRM_ERROR("Cannot get hdmi_tmds clock\n");  in sti_hdmi_probe()
853 		DRM_ERROR("Cannot get hdmi_phy clock\n");  in sti_hdmi_probe()
860 		DRM_ERROR("Cannot get hdmi_audio clock\n");  in sti_hdmi_probe()
874 		DRM_ERROR("Failed to register HDMI interrupt\n");  in sti_hdmi_probe()