213 	dev_err(wm0010->dev, "Failed to transition from `%s' state to `%s' state\n",  in wm0010_mark_boot_failure()
228 		dev_err(codec->dev, "SPI transfer failed: %d\n",  in wm0010_boot_xfer_complete()
241 			dev_err(codec->dev,  in wm0010_boot_xfer_complete()
249 			dev_err(codec->dev,  in wm0010_boot_xfer_complete()
280 			dev_err(codec->dev, "Device reports image too long\n");  in wm0010_boot_xfer_complete()
285 			dev_err(codec->dev, "Device reports bad SPI packet\n");  in wm0010_boot_xfer_complete()
290 			dev_err(codec->dev, "Device reports SPI read overflow\n");  in wm0010_boot_xfer_complete()
295 			dev_err(codec->dev, "Device reports SPI underclock\n");  in wm0010_boot_xfer_complete()
300 			dev_err(codec->dev, "Device reports bad header packet\n");  in wm0010_boot_xfer_complete()
305 			dev_err(codec->dev, "Device reports invalid packet type\n");  in wm0010_boot_xfer_complete()
310 			dev_err(codec->dev, "Device reports data before header error\n");  in wm0010_boot_xfer_complete()
315 			dev_err(codec->dev, "Device reports invalid PLL packet\n");  in wm0010_boot_xfer_complete()
319 			dev_err(codec->dev, "Device reports packet alignment error\n");  in wm0010_boot_xfer_complete()
324 			dev_err(codec->dev, "Unrecognised return 0x%x\n",  in wm0010_boot_xfer_complete()
365 		dev_err(codec->dev, "Failed to request application(%s): %d\n",  in wm0010_firmware_load()
381 		dev_err(codec->dev, "First record not INFO\r\n");  in wm0010_firmware_load()
387 		dev_err(codec->dev,  in wm0010_firmware_load()
399 		dev_err(codec->dev, "Not a WM0010 firmware file.\r\n");  in wm0010_firmware_load()
470 			dev_err(codec->dev, "Write failed: %d\n", ret);  in wm0010_firmware_load()
514 		dev_err(codec->dev, "Failed to request stage2 loader: %d\n",  in wm0010_stage2_load()
550 		dev_err(codec->dev, "Initial download failed: %d\n", ret);  in wm0010_stage2_load()
557 			dev_err(codec->dev, "Boot ROM error: %x in %d\n",  in wm0010_stage2_load()
594 		dev_err(codec->dev, "Max DSP clock frequency is 26MHz\n");  in wm0010_boot()
607 		dev_err(&spi->dev, "Failed to enable core supplies: %d\n",  in wm0010_boot()
615 		dev_err(&spi->dev, "Failed to enable DBVDD: %d\n", ret);  in wm0010_boot()
627 		dev_err(codec->dev, "Failed to get interrupt from DSP\n");  in wm0010_boot()
639 		dev_err(codec->dev, "Failed to get interrupt from DSP loader.\n");  in wm0010_boot()
660 			dev_err(codec->dev,  in wm0010_boot()
683 			dev_err(codec->dev, "First PLL write failed: %d\n", ret);  in wm0010_boot()
690 			dev_err(codec->dev, "Second PLL write failed: %d\n", ret);  in wm0010_boot()
904 		dev_err(wm0010->dev, "Failed to obtain core supplies: %d\n",  in wm0010_spi_probe()
912 		dev_err(wm0010->dev, "Failed to obtain DBVDD: %d\n", ret);  in wm0010_spi_probe()
932 			dev_err(wm0010->dev,  in wm0010_spi_probe()
938 		dev_err(wm0010->dev, "No reset GPIO configured\n");  in wm0010_spi_probe()
954 		dev_err(wm0010->dev, "Failed to request IRQ %d: %d\n",  in wm0010_spi_probe()
962 		dev_err(wm0010->dev, "Failed to set IRQ %d as wake source: %d\n",  in wm0010_spi_probe()