/* 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)0xF8FF0000;
    RCM->CTRL &= (uint32_t)0xFEF6FFFF;
    RCM->CTRL_B.HSEBCFG = BIT_RESET;
    RCM->CFG &= (uint32_t)0xFF00FFFF;
    RCM->INT = 0x009F0000;
}