/* UART Wait for Received Data Available. 
Blocks until the receive data buffer holds a valid received data word. */
void uart_wait_recv_ready(uint32_t uart)
/* UART Wait for Received Data Available. 
Blocks until the receive data buffer holds a valid received data word. */
void uart_wait_recv_ready(uint32_t uart)
{
	while ((UART_S1(uart) & UART_S1_RDRF) == 0);
}