tag	line	file	source code
kmalloced	420	drivers/char/console.c	if (kmalloced)
kmalloced	423	drivers/char/console.c	kmalloced = 1;
kmalloced	449	drivers/char/console.c	if (kmalloced)
kmalloced	1960	drivers/char/console.c	kmalloced = 0;