/* Reset CEC peripheral registers to their default values.  */
void CEC_Reset(void)
/* Reset CEC peripheral registers to their default values.  */
void CEC_Reset(void)
{
    RCM_EnableAPB1PeriphClock(RCM_APB1_PERIPH_CEC);
    RCM_DisableAPB1PeriphReset(RCM_APB1_PERIPH_CEC);
}