switch(state)
{
case HDMI_SLEEP:
- dev_printk(KERN_INFO, hdmi->dev, "HDMI_SLEEP\n");
+ hdmi_dbg(hdmi->dev, "HDMI_SLEEP\n");
break;
case HDMI_INITIAL:
- dev_printk(KERN_INFO, hdmi->dev, "HDMI_INITIAL\n");
+ hdmi_dbg(hdmi->dev, "HDMI_INITIAL\n");
break;
case WAIT_HOTPLUG:
- dev_printk(KERN_INFO, hdmi->dev, "WAIT_HOTPLUG\n");
+ hdmi_dbg(hdmi->dev, "WAIT_HOTPLUG\n");
break;
case READ_PARSE_EDID:
- dev_printk(KERN_INFO, hdmi->dev, "READ_PARSE_EDID\n");
+ hdmi_dbg(hdmi->dev, "READ_PARSE_EDID\n");
break;
case WAIT_HDMI_ENABLE:
- dev_printk(KERN_INFO, hdmi->dev, "WAIT_HDMI_ENABLE\n");
+ hdmi_dbg(hdmi->dev, "WAIT_HDMI_ENABLE\n");
break;
case SYSTEM_CONFIG:
- dev_printk(KERN_INFO, hdmi->dev, "SYSTEM_CONFIG\n");
+ hdmi_dbg(hdmi->dev, "SYSTEM_CONFIG\n");
break;
case CONFIG_VIDEO:
- dev_printk(KERN_INFO, hdmi->dev, "CONFIG_VIDEO\n");
+ hdmi_dbg(hdmi->dev, "CONFIG_VIDEO\n");
break;
case CONFIG_AUDIO:
- dev_printk(KERN_INFO, hdmi->dev, "CONFIG_AUDIO\n");
+ hdmi_dbg(hdmi->dev, "CONFIG_AUDIO\n");
break;
case PLAY_BACK:
- dev_printk(KERN_INFO, hdmi->dev, "PLAY_BACK\n");
+ hdmi_dbg(hdmi->dev, "PLAY_BACK\n");
break;
default:
- dev_printk(KERN_INFO, hdmi->dev, "Unkown State %d\n", state);
+ hdmi_dbg(hdmi->dev, "Unkown State %d\n", state);
break;
}
}