1342 static void vc4_cec_read_msg(struct vc4_hdmi *vc4_hdmi, u32 cntrl1)  in vc4_cec_read_msg()  argument
1348 	msg->len = 1 + ((cntrl1 & VC4_HDMI_CEC_REC_WRD_CNT_MASK) >>  in vc4_cec_read_msg()
1370 	u32 cntrl1, cntrl5;  in vc4_cec_irq_handler()  local
1375 	cntrl1 = HDMI_READ(HDMI_CEC_CNTRL_1);  in vc4_cec_irq_handler()
1379 		vc4_cec_read_msg(vc4_hdmi, cntrl1);  in vc4_cec_irq_handler()
1380 		cntrl1 |= VC4_HDMI_CEC_CLEAR_RECEIVE_OFF;  in vc4_cec_irq_handler()
1381 		HDMI_WRITE(HDMI_CEC_CNTRL_1, cntrl1);  in vc4_cec_irq_handler()
1382 		cntrl1 &= ~VC4_HDMI_CEC_CLEAR_RECEIVE_OFF;  in vc4_cec_irq_handler()
1384 		vc4_hdmi->cec_tx_ok = cntrl1 & VC4_HDMI_CEC_TX_STATUS_GOOD;  in vc4_cec_irq_handler()
1385 		cntrl1 &= ~VC4_HDMI_CEC_START_XMIT_BEGIN;  in vc4_cec_irq_handler()
1387 	HDMI_WRITE(HDMI_CEC_CNTRL_1, cntrl1);  in vc4_cec_irq_handler()