/* Resets the clock configuration to the default state.  */
void RCM_Reset(void)
/* Resets the clock configuration to the default state.  */
void RCM_Reset(void)
{
    RCM->CTRL_B.HSIEN = BIT_SET;
    RCM->CFG = (uint32_t)0x00000000;
    RCM->CTRL &= (uint32_t)0xEAF6FFFF;
    RCM->PLL1CFG = 0x24003010;
    RCM->PLL2CFG = 0x20003000;
    RCM->CTRL_B.HSEBCFG = BIT_RESET;
    RCM->INT = 0x00000000;
}