317 		DRM_ERROR("unsupported infoframe slot: %#x\n", slot);  in hdmi_infoframe_reset()
385 		DRM_ERROR("unsupported infoframe type: %#x\n", *ptr);  in hdmi_infoframe_write_infopack()
443 		DRM_ERROR("failed to setup AVI infoframe: %d\n", ret);  in hdmi_avi_infoframe_config()
454 		DRM_ERROR("failed to pack AVI infoframe: %d\n", ret);  in hdmi_avi_infoframe_config()
487 			DRM_ERROR("failed to pack audio infoframe: %d\n", ret);  in hdmi_audio_infoframe_config()
537 		DRM_ERROR("failed to pack VS infoframe: %d\n", ret);  in hdmi_vendor_infoframe_config()
863 		DRM_ERROR("ERROR: Unsupported number of channels (%d)!\n",  in hdmi_audio_configure()
884 		DRM_ERROR("Failed to prepare/enable hdmi_pix clk\n");  in sti_hdmi_pre_enable()
886 		DRM_ERROR("Failed to prepare/enable hdmi_tmds clk\n");  in sti_hdmi_pre_enable()
888 		DRM_ERROR("Failed to prepare/enable hdmi_rejec_pll clk\n");  in sti_hdmi_pre_enable()
894 		DRM_ERROR("Unable to start hdmi phy\n");  in sti_hdmi_pre_enable()
909 		DRM_ERROR("Unable to configure AVI infoframe\n");  in sti_hdmi_pre_enable()
913 			DRM_ERROR("Unable to configure audio\n");  in sti_hdmi_pre_enable()
920 		DRM_ERROR("Unable to configure VS infoframe\n");  in sti_hdmi_pre_enable()
941 		DRM_ERROR("Cannot set rate (%dHz) for hdmi_pix clk\n",  in sti_hdmi_set_mode()
947 		DRM_ERROR("Cannot set rate (%dHz) for hdmi_rejection_pll clk\n",  in sti_hdmi_set_mode()
993 	DRM_ERROR("Can't read HDMI EDID\n");  in sti_hdmi_connector_get_modes()
1064 		DRM_ERROR("fails to create colorspace property\n");  in sti_hdmi_connector_init_property()
1086 	DRM_ERROR("failed to set hdmi connector property\n");  in sti_hdmi_connector_set_property()
1105 	DRM_ERROR("failed to get hdmi connector property\n");  in sti_hdmi_connector_get_property()
1116 		DRM_ERROR("HDMI debugfs setup failed\n");  in sti_hdmi_late_register()
1304 		DRM_ERROR("Failed to attach a connector to a encoder\n");  in sti_hdmi_bind()
1310 		DRM_ERROR("Failed to attach an audio codec\n");  in sti_hdmi_bind()
1317 		DRM_ERROR("Failed to init audio infoframe\n");  in sti_hdmi_bind()
1379 		DRM_ERROR("Invalid hdmi resource\n");  in sti_hdmi_probe()
1395 		DRM_ERROR("Cannot get hdmi_pix clock\n");  in sti_hdmi_probe()
1402 		DRM_ERROR("Cannot get hdmi_tmds clock\n");  in sti_hdmi_probe()
1409 		DRM_ERROR("Cannot get hdmi_phy clock\n");  in sti_hdmi_probe()
1416 		DRM_ERROR("Cannot get hdmi_audio clock\n");  in sti_hdmi_probe()
1427 		DRM_ERROR("Cannot get HDMI irq\n");  in sti_hdmi_probe()
1435 		DRM_ERROR("Failed to register HDMI interrupt\n");  in sti_hdmi_probe()