ULITE_TX
uart_out32(port->x_char, ULITE_TX, port);
uart_out32(ch, ULITE_TX, port);
uart_out32(ch, ULITE_TX, port);
uart_out32(ch, ULITE_TX, port);
writel(c & 0xff, port->membase + ULITE_TX);