/* Configs the CEC peripheral according to the specified parameters in the cecConfig.  */
void CEC_Config(CEC_Config_T *cecConfig)
/* Configs the CEC peripheral according to the specified parameters in the cecConfig.  */
void CEC_Config(CEC_Config_T *cecConfig)
{
    CEC->CFG_B.SFTCFG    = cecConfig->signalFreeTime;
    CEC->CFG_B.RXTCFG   = cecConfig->RxTolerance;
    CEC->CFG_B.RXSBRERR = cecConfig->stopReception;
    CEC->CFG_B.GEBRERR  = cecConfig->bitRisingError;
    CEC->CFG_B.GELBPERR = cecConfig->longPeriodError;
    CEC->CFG_B.AEBGIB = cecConfig->broadcastrNoGen;
    CEC->CFG_B.SFTOB  = cecConfig->signalFreeTimeOption;
}