tag	line	file	source code
echo_char	641	drivers/char/tty_io.c	echo_char(KILL_CHAR(tty), tty);
echo_char	667	drivers/char/tty_io.c	echo_char(c, tty);
echo_char	669	drivers/char/tty_io.c	echo_char(ERASE_CHAR(tty), tty);
echo_char	840	drivers/char/tty_io.c	echo_char(c, tty);
echo_char	843	drivers/char/tty_io.c	echo_char(tty->secondary.buf[tail],
echo_char	893	drivers/char/tty_io.c	echo_char(c, tty);