/* Resets the RCC clock configuration to the default reset state.  */
void RCC_DeInit(void)
/* Resets the RCC clock configuration to the default reset state.  */
void RCC_DeInit(void)
{
    RCC->CTRL |= (uint32_t)0x00000001;
    RCC->CFG &= (uint32_t)0xF8FFC000;
    RCC->CTRL &= (uint32_t)0xFEF6FFFF;
    RCC->CTRL &= (uint32_t)0xFFFBFFFF;
    RCC->CFG &= (uint32_t)0xF700FFFF;
    RCC->CFG2 = 0x00003800;
    RCC->CFG3 = 0x00003840;
    RCC->CLKINT = 0x009F0000;
}