/* 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->CTRLSTS |= (uint32_t)0x00000004;
    RCC->CFG &= (uint32_t)0xF8FFC000;
    RCC->CTRL &= (uint32_t)0xFEF6FFFE;
    RCC->CTRL &= (uint32_t)0xFFFBFFFF;
    RCC->CFG &= (uint32_t)0xF700FFFF;
    RCC->CFG2 = 0x00007000;
    RCC->CFG3 = 0x00003800;
    RCC->RDCTRL = 0x00000000;
    RCC->PLLHSIPRE = 0x00000000;
    RCC->CLKINT = 0x04BF8000;
}