UART_WRITE
UART_WRITE(THR, c);
UART_WRITE(base, LCR, 0x80); /* turn on DLAB bit */
UART_WRITE(base, FCR, 0x00);
UART_WRITE(base, DMB, div >> 8); /* set speed */
UART_WRITE(base, DLB, div & 0xff);
UART_WRITE(base, LCR, lcr);
UART_WRITE(base, FCR, 0x07); /* FIFO on, TXRX FIFO reset */
UART_WRITE(base, IER, 0x00); /* make sure INT disabled */
UART_WRITE(uart1base, THR, c);
UART_WRITE(uart1base, DCR, 0x01); /* enable DUART mode */