tag	line	file	source code
kmalloced	414	drivers/char/console.c	if (kmalloced)
kmalloced	417	drivers/char/console.c	kmalloced = 1;
kmalloced	443	drivers/char/console.c	if (kmalloced)
kmalloced	2048	drivers/char/console.c	kmalloced = 0;