tag	line	file	source code
echo_char	637	drivers/char/tty_io.c	echo_char(KILL_CHAR(tty), tty);
echo_char	663	drivers/char/tty_io.c	echo_char(c, tty);
echo_char	665	drivers/char/tty_io.c	echo_char(ERASE_CHAR(tty), tty);
echo_char	836	drivers/char/tty_io.c	echo_char(c, tty);
echo_char	839	drivers/char/tty_io.c	echo_char(tty->secondary.buf[tail],
echo_char	889	drivers/char/tty_io.c	echo_char(c, tty);