taglinefilesource code
decscnm926drivers/char/console.cif (reverse ^ decscnm)
decscnm938drivers/char/console.cif (decscnm)
decscnm1123drivers/char/console.cif (decscnm != on_off) {
decscnm1124drivers/char/console.cdecscnm = on_off;
decscnm1328drivers/char/console.cdecscnm    = 0;