/* Parameters: channel UART channel to send to ch character to send  */
void uart_putchar(UART_MemMapPtr channel, char ch)
/* Parameters: channel UART channel to send to ch character to send  */
void uart_putchar(UART_MemMapPtr channel, char ch)
{
    while(!(UART_S1_REG(channel) & UART_S1_TDRE_MASK));
    UART_D_REG(channel) = (uint8)ch;
 }