cntrl5           1190 drivers/gpu/drm/vc4/vc4_hdmi.c 	u32 cntrl1, cntrl5;
cntrl5           1196 drivers/gpu/drm/vc4/vc4_hdmi.c 	cntrl5 = HDMI_READ(VC4_HDMI_CEC_CNTRL_5);
cntrl5           1197 drivers/gpu/drm/vc4/vc4_hdmi.c 	hdmi->cec_irq_was_rx = cntrl5 & VC4_HDMI_CEC_RX_CEC_INT;