tag	line	file	source code
kmalloced	402	drivers/char/console.c	if (kmalloced)
kmalloced	405	drivers/char/console.c	kmalloced = 1;
kmalloced	431	drivers/char/console.c	if (kmalloced)
kmalloced	1972	drivers/char/console.c	kmalloced = 0;