tag	line	file	source code
respond_string	708	drivers/char/console.c	respond_string("\033[0n", currcons, tty);  /* Terminal ok */
respond_string	713	drivers/char/console.c	respond_string(VT102ID, currcons, tty);