/* Clock the UART module from the system clock.  */
void uart_clock_from_sysclk(uint32_t uart)
/* Clock the UART module from the system clock.  */
void uart_clock_from_sysclk(uint32_t uart)
{
	UART_CC(uart) = UART_CC_CS_SYSCLK;
}
/**@}