tag	line	file	source code
printing	1813	drivers/char/console.c	static int printing = 0;
printing	1815	drivers/char/console.c	if (!printable || printing)
printing	1817	drivers/char/console.c	printing = 1;
printing	1847	drivers/char/console.c	printing = 0;