/* Configures system clock after wake-up from STOP: enable HSE, PLL and select PLL as system clock source.  */
void SYSCLKConfig_STOP(void)
/* Configures system clock after wake-up from STOP: enable HSE, PLL and select PLL as system clock source.  */
void SYSCLKConfig_STOP(void)
{
  RCC_HSEConfig(RCC_HSE_ON);
  while (RCC_GetFlagStatus(RCC_FLAG_HSERDY) == RESET)
  {}
  RCC_PLLCmd(ENABLE);
  while (RCC_GetFlagStatus(RCC_FLAG_PLLRDY) == RESET)
  {}
  RCC_SYSCLKConfig(RCC_SYSCLKSource_PLLCLK);
  while (RCC_GetSYSCLKSource() != 0x08)
  {}
}