/* Changing the baud clock source changes the baud rate generated by the UART. Therefore, the baud rate should be reconfigured after any change to the baud clock source. */
void UARTClockSourceSet(uint32_t ui32Base, uint32_t ui32Source)
/* Changing the baud clock source changes the baud rate generated by the UART. Therefore, the baud rate should be reconfigured after any change to the baud clock source. */
void UARTClockSourceSet(uint32_t ui32Base, uint32_t ui32Source)
{
    ASSERT(_UARTBaseValid(ui32Base));
    ASSERT((ui32Source == UART_CLOCK_SYSTEM) ||
           (ui32Source == UART_CLOCK_ALTCLK));
    HWREG(ui32Base + UART_O_CC) = ui32Source;
}