serial8250_console_write 586 drivers/tty/serial/8250/8250_core.c serial8250_console_write(up, s, count); serial8250_console_write 175 include/linux/serial_8250.h void serial8250_console_write(struct uart_8250_port *up, const char *s,