2448 static void vc4_cec_read_msg(struct vc4_hdmi *vc4_hdmi, u32 cntrl1)  in vc4_cec_read_msg()  argument
2456 	msg->len = 1 + ((cntrl1 & VC4_HDMI_CEC_REC_WRD_CNT_MASK) >>  in vc4_cec_read_msg()
2476 	u32 cntrl1;  in vc4_cec_irq_handler_tx_bare_locked()  local
2491 	cntrl1 = HDMI_READ(HDMI_CEC_CNTRL_1);  in vc4_cec_irq_handler_tx_bare_locked()
2492 	vc4_hdmi->cec_tx_ok = cntrl1 & VC4_HDMI_CEC_TX_STATUS_GOOD;  in vc4_cec_irq_handler_tx_bare_locked()
2493 	cntrl1 &= ~VC4_HDMI_CEC_START_XMIT_BEGIN;  in vc4_cec_irq_handler_tx_bare_locked()
2494 	HDMI_WRITE(HDMI_CEC_CNTRL_1, cntrl1);  in vc4_cec_irq_handler_tx_bare_locked()
2513 	u32 cntrl1;  in vc4_cec_irq_handler_rx_bare_locked()  local
2529 	cntrl1 = HDMI_READ(HDMI_CEC_CNTRL_1);  in vc4_cec_irq_handler_rx_bare_locked()
2530 	vc4_cec_read_msg(vc4_hdmi, cntrl1);  in vc4_cec_irq_handler_rx_bare_locked()
2531 	cntrl1 |= VC4_HDMI_CEC_CLEAR_RECEIVE_OFF;  in vc4_cec_irq_handler_rx_bare_locked()
2532 	HDMI_WRITE(HDMI_CEC_CNTRL_1, cntrl1);  in vc4_cec_irq_handler_rx_bare_locked()
2533 	cntrl1 &= ~VC4_HDMI_CEC_CLEAR_RECEIVE_OFF;  in vc4_cec_irq_handler_rx_bare_locked()
2535 	HDMI_WRITE(HDMI_CEC_CNTRL_1, cntrl1);  in vc4_cec_irq_handler_rx_bare_locked()