UART_TSH
tsh = (uint32_t *)(socdev_va + UART_REG_OFFSET + UART_TSH);
uart_setreg(bas, UART_TSH, c & 0xff);
uart_setreg(bas, UART_TSH, sc->sc_txbuf[i] & 0xff);