tag	line	file	source code
kmalloced	410	drivers/char/console.c	if (kmalloced)
kmalloced	413	drivers/char/console.c	kmalloced = 1;
kmalloced	439	drivers/char/console.c	if (kmalloced)
kmalloced	2016	drivers/char/console.c	kmalloced = 0;