/* Waits to send a character from the specified port.  */
void xUARTCharPut(unsigned long ulBase, unsigned char ucData)
/* Waits to send a character from the specified port.  */
void xUARTCharPut(unsigned long ulBase, unsigned char ucData)
{
    xASSERT(UARTBaseValid(ulBase));
    while(xHWREG(ulBase + UART_FSR) & UART_FSR_TX_FF)
    {
    }
    xHWREG(ulBase + UART_THR) = ucData;
}