serial8250_console_write
serial8250_console_write(up, s, count);
void serial8250_console_write(struct uart_8250_port *up, const char *s,