uart_tty_intr
void uart_tty_intr(void *arg);
swi_add(&tty_intr_event, uart_driver_name, uart_tty_intr, sc, SWI_TTY,