/* 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(unsigned long ulBase, unsigned long ulSource)
/* 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(unsigned long ulBase, unsigned long ulSource)
{
    ASSERT(UARTBaseValid(ulBase));
    ASSERT((ulSource == UART_CLOCK_SYSTEM) || (ulSource == UART_CLOCK_PIOSC));
    HWREG(ulBase + UART_O_CC) = ulSource;
}