taglinefilesource code
respond_string952drivers/char/console.crespond_string(buf, tty);
respond_string957drivers/char/console.crespond_string("\033[0n", tty);  /* Terminal ok */
respond_string962drivers/char/console.crespond_string(VT102ID, tty);
respond_string971drivers/char/console.crespond_string(buf, tty);