cec_tx_ok          87 drivers/gpu/drm/vc4/vc4_hdmi.c 	bool cec_tx_ok;
cec_tx_ok        1154 drivers/gpu/drm/vc4/vc4_hdmi.c 	} else if (hdmi->cec_tx_ok) {
cec_tx_ok        1204 drivers/gpu/drm/vc4/vc4_hdmi.c 		hdmi->cec_tx_ok = cntrl1 & VC4_HDMI_CEC_TX_STATUS_GOOD;