/* Waits to send a character from the specified port. */
void UARTCharPut(uint32_t ui32Base, unsigned char ucData)
/* Waits to send a character from the specified port. */
void UARTCharPut(uint32_t ui32Base, unsigned char ucData)
{
    ASSERT(_UARTBaseValid(ui32Base));
    while (HWREG(ui32Base + UART_O_FR) & UART_FR_TXFF)
    {
    }
    HWREG(ui32Base + UART_O_DR) = ucData;
}