/* Waits to send a character from the specified port.  */
void UARTCharPut(unsigned long ulBase, unsigned char ulData)
/* Waits to send a character from the specified port.  */
void UARTCharPut(unsigned long ulBase, unsigned char ulData)
{
    volatile unsigned char ulStatus = 0;
    xASSERT((ulBase == UART0_BASE) || (ulBase == UART1_BASE) ||
            (ulBase == UART2_BASE) );
    do
    {
        ulStatus = xHWREGB(ulBase + UART_012_S1) &
                   ((unsigned char) UART_012_S1_TDRE_MASK);
    }while(0 == ulStatus);
    xHWREGB(ulBase + UART_012_D) = ulData;
}