HDMI_CEC_CPU_STATUS
u32 stat = HDMI_READ(HDMI_CEC_CPU_STATUS);
VC4_HDMI_REG(HDMI_CEC_CPU_STATUS, 0x0340),