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);