tag	line	file	source code
sel_buffer	166	drivers/char/console.c	static char *sel_buffer = NULL;
sel_buffer	2485	drivers/char/console.c	if (sel_buffer) kfree(sel_buffer);
sel_buffer	2486	drivers/char/console.c	sel_buffer = kmalloc((sel_end-sel_start)/2+2, GFP_KERNEL);
sel_buffer	2487	drivers/char/console.c	if (!sel_buffer)
sel_buffer	2493	drivers/char/console.c	obp = bp = sel_buffer;
sel_buffer	2521	drivers/char/console.c	char  *bp = sel_buffer;
sel_buffer	2528	drivers/char/console.c	c = strlen(sel_buffer);