/* Returns the clock source used as system clock.  */
uint8_t RCC_GetSYSCLKSource(void)
/* Returns the clock source used as system clock.  */
uint8_t RCC_GetSYSCLKSource(void)
{
  return ((uint8_t)(RCC->CFGR & CFGR_SWS_Mask));
}