altera_jtaguart_console_putc
uart_console_write(port, s, count, altera_jtaguart_console_putc);
uart_console_write(&dev->port, s, count, altera_jtaguart_console_putc);