UART_D
uart_setreg(bas, UART_D, c);
c = uart_getreg(bas, UART_D);
uart_setreg(bas, UART_D, sc->sc_txbuf[i] & 0xff);