/* Selects the clock source to output on MCO pin.  */
void RCC_ConfigMco(uint8_t RCC_MCO)
/* Selects the clock source to output on MCO pin.  */
void RCC_ConfigMco(uint8_t RCC_MCO)
{
    uint32_t tmpregister = 0;
    assert_param(IS_RCC_MCO(RCC_MCO));
    tmpregister = RCC->CFG;
    tmpregister &= ((uint32_t)0xF8FFFFFF);
    tmpregister |= ((uint32_t)(RCC_MCO << 24));
    RCC->CFG = tmpregister;
}