/* Return values: 0 No character received 1 Character has been received  */
int uart_getchar_present(UART_MemMapPtr channel)
/* Return values: 0 No character received 1 Character has been received  */
int uart_getchar_present(UART_MemMapPtr channel)
{
    return (UART_S1_REG(channel) & UART_S1_RDRF_MASK);
}