taglinefilesource code
decom609drivers/char/console.cif (decom) {
decom1061drivers/char/console.csprintf(buf, "\033[%ld;%ldR", y + (decom ? top+1 : 1), x+1);
decom1130drivers/char/console.cdecom = on_off;
decom1329drivers/char/console.cdecom    = 0;