taglinefilesource code
respond_string708drivers/char/console.crespond_string("\033[0n", currcons, tty);  /* Terminal ok */
respond_string713drivers/char/console.crespond_string(VT102ID, currcons, tty);