/* UART Wait for Transmit Data Buffer Not Full. 
Blocks until the transmit data FIFO is not empty and can accept the next data word.  */
void uart_wait_send_ready(uint32_t uart)
/* UART Wait for Transmit Data Buffer Not Full. 
Blocks until the transmit data FIFO is not empty and can accept the next data word.  */
void uart_wait_send_ready(uint32_t uart)
{
	while (UART_FR(uart) & UART_FR_TXFF);
}