/* UART Wait for Transmit Data Buffer Empty. 
Blocks until the transmit data buffer becomes empty and is ready to accept the next data word. */
void uart_wait_send_ready(uint32_t uart)
/* UART Wait for Transmit Data Buffer Empty. 
Blocks until the transmit data buffer becomes empty and is ready to accept the next data word. */
void uart_wait_send_ready(uint32_t uart)
{
	while ((UART_S1(uart) & UART_S1_TC) == 0);
}