taglinefilesource code
printing1832drivers/char/console.cstatic int printing = 0;
printing1834drivers/char/console.cif (!printable || printing)
printing1836drivers/char/console.cprinting = 1;
printing1862drivers/char/console.cprinting = 0;