taglinefilesource code
decscnm588drivers/char/console.cif (reverse ^ decscnm)
decscnm600drivers/char/console.cif (decscnm)
decscnm744drivers/char/console.cif (decscnm != on_off) {
decscnm745drivers/char/console.cdecscnm = on_off;
decscnm933drivers/char/console.cdecscnm    = 0;