CEC_READ
const uint32_t int_stat = CEC_READ(sc, CEC_INT_STAT_REG);
val = CEC_READ(sc, CEC_RX_REGISTER_REG);
val = CEC_READ(sc, CEC_HW_CONTROL_REG);