374 		device_printf(sc->sc_dev, "xfer failed, status=%08x\n", val);  in sunxi_hdmi_i2c_xfer_1_3()
448 		device_printf(sc->sc_dev, "no device detected\n");  in sunxi_hdmi_i2c_reset()
461 			device_printf(sc->sc_dev, "reset failed (1.3)\n");  in sunxi_hdmi_i2c_reset()
669 		device_printf(sc->sc_dev, "failed to read EDID\n");  in sunxi_hdmi_read_edid()
672 			device_printf(sc->sc_dev, "failed to parse EDID\n");  in sunxi_hdmi_read_edid()
688 	device_printf(sc->sc_dev, "%s mode (%s)\n",  in sunxi_hdmi_read_edid()
735 			device_printf(sc->sc_dev,  in sunxi_hdmi_get_display_mode()
742 		device_printf(sc->sc_dev, "EDID block #%d:\n", n);  in sunxi_hdmi_get_display_mode()
750 		device_printf(sc->sc_dev, "  Tag %d, Revision %d, Offset %d\n",  in sunxi_hdmi_get_display_mode()
752 		device_printf(sc->sc_dev, "  Flags: 0x%02x\n", edid[3]);  in sunxi_hdmi_get_display_mode()
771 			device_printf(sc->sc_dev, "  CEA data block @ %d\n", p);  in sunxi_hdmi_get_display_mode()
772 			device_printf(sc->sc_dev, "    Tag %d, Length %d\n",  in sunxi_hdmi_get_display_mode()
787 			device_printf(sc->sc_dev, "    ID: %02x%02x%02x\n",  in sunxi_hdmi_get_display_mode()
853 	device_printf(sc->sc_dev,  in sunxi_hdmi_set_videomode()
856 	device_printf(sc->sc_dev, "h: %u %u %u %u\n",  in sunxi_hdmi_set_videomode()
858 	device_printf(sc->sc_dev, "v: %u %u %u %u\n",  in sunxi_hdmi_set_videomode()
892 	device_printf(sc->sc_dev, "parent rate: %d\n", parent_rate);  in sunxi_hdmi_set_videomode()
893 	device_printf(sc->sc_dev, "dot_clock: %d\n", mode->dot_clock);  in sunxi_hdmi_set_videomode()
894 	device_printf(sc->sc_dev, "clkdiv: %d\n", best_div);  in sunxi_hdmi_set_videomode()
895 	device_printf(sc->sc_dev, "clkdbl: %c\n", (best_dbl == 1) ? 'Y' : 'N');  in sunxi_hdmi_set_videomode()
899 		device_printf(sc->sc_dev, "ERROR: TCON clk not configured\n");  in sunxi_hdmi_set_videomode()
1087 		device_printf(sc->sc_dev, "display connected\n");  in sunxi_hdmi_hpd()
1091 		device_printf(sc->sc_dev, "display disconnected\n");  in sunxi_hdmi_hpd()
1154 	device_printf(sc->sc_dev, "INT_STATUS %08X\n", intsts);