tag	line	file	source code
resetorg	2157	drivers/char/console.c	int resetorg;
resetorg	2180	drivers/char/console.c	resetorg = 0;
resetorg	2184	drivers/char/console.c	resetorg = 1;
resetorg	2193	drivers/char/console.c	if (resetorg)