1165 static void vc4_cec_read_msg(struct vc4_dev *vc4, u32 cntrl1)  in vc4_cec_read_msg()  argument
1170 	msg->len = 1 + ((cntrl1 & VC4_HDMI_CEC_REC_WRD_CNT_MASK) >>  in vc4_cec_read_msg()
1187 	u32 cntrl1, cntrl5;  in vc4_cec_irq_handler()  local
1192 	cntrl1 = HDMI_READ(VC4_HDMI_CEC_CNTRL_1);  in vc4_cec_irq_handler()
1196 		vc4_cec_read_msg(vc4, cntrl1);  in vc4_cec_irq_handler()
1197 		cntrl1 |= VC4_HDMI_CEC_CLEAR_RECEIVE_OFF;  in vc4_cec_irq_handler()
1198 		HDMI_WRITE(VC4_HDMI_CEC_CNTRL_1, cntrl1);  in vc4_cec_irq_handler()
1199 		cntrl1 &= ~VC4_HDMI_CEC_CLEAR_RECEIVE_OFF;  in vc4_cec_irq_handler()
1201 		hdmi->cec_tx_ok = cntrl1 & VC4_HDMI_CEC_TX_STATUS_GOOD;  in vc4_cec_irq_handler()
1202 		cntrl1 &= ~VC4_HDMI_CEC_START_XMIT_BEGIN;  in vc4_cec_irq_handler()
1204 	HDMI_WRITE(VC4_HDMI_CEC_CNTRL_1, cntrl1);  in vc4_cec_irq_handler()