dbg3              122 drivers/gpu/drm/omapdrm/dss/hdmi4_cec.c 		u32 dbg3 = hdmi_read_reg(core->base, HDMI_CEC_DBG_3);
dbg3              127 drivers/gpu/drm/omapdrm/dss/hdmi4_cec.c 				  0, (dbg3 >> 4) & 7, 0, 0);