tag	line	file	source code
kmalloced	427	drivers/char/console.c	if (kmalloced)
kmalloced	430	drivers/char/console.c	kmalloced = 1;
kmalloced	456	drivers/char/console.c	if (kmalloced)
kmalloced	1962	drivers/char/console.c	kmalloced = 0;