/* Setup the microcontroller system. Initialize the Embedded Flash Interface, the PLL and update the SystemCoreClock variable.  */
void SystemInit(void)
/* Setup the microcontroller system. Initialize the Embedded Flash Interface, the PLL and update the SystemCoreClock variable.  */
void SystemInit(void)
{
  RCC->CR |= (uint32_t)0x00000001;
  RCC->CFGR &= (uint32_t)0xF8FFB80C;
  RCC->CR &= (uint32_t)0xFEF6FFFF;
  RCC->CR &= (uint32_t)0xFFFBFFFF;
  RCC->CFGR &= (uint32_t)0xFFC0FFFF;
  RCC->CFGR2 &= (uint32_t)0xFFFFFFF0;
  RCC->CFGR3 &= (uint32_t)0xFFFFFEAC;
  RCC->CR2 &= (uint32_t)0xFFFFFFFE;
  RCC->CIR = 0x00000000;
  SetSysClock();
}