tag	line	file	source code
respond_string	1025	drivers/char/console.c	respond_string(buf, tty);
respond_string	1030	drivers/char/console.c	respond_string("\033[0n", tty);  /* Terminal ok */
respond_string	1035	drivers/char/console.c	respond_string(VT102ID, tty);
respond_string	1044	drivers/char/console.c	respond_string(buf, tty);