/* Waits for a character from the specified port. */
int32_t UARTCharGet(uint32_t ui32Base)
/* Waits for a character from the specified port. */
int32_t UARTCharGet(uint32_t ui32Base)
{
    ASSERT(_UARTBaseValid(ui32Base));
    while(HWREG(ui32Base + UART_O_FR) & UART_FR_RXFE)
    {
    }
    return(HWREG(ui32Base + UART_O_DR));
}