n_tty_receive_char_inline 1431 drivers/tty/n_tty.c 	n_tty_receive_char_inline(tty, c);
n_tty_receive_char_inline 1583 drivers/tty/n_tty.c 				n_tty_receive_char_inline(tty, c);