tag	line	file	source code
obp	2258	drivers/char/console.c	char *bp, *obp, *spos;
obp	2376	drivers/char/console.c	obp = bp = sel_buffer;
obp	2382	drivers/char/console.c	obp = bp;
obp	2387	drivers/char/console.c	if (obp != bp)
obp	2389	drivers/char/console.c	bp = obp;
obp	2392	drivers/char/console.c	obp = bp;