tag	line	file	source code
resetorg	2055	drivers/char/console.c	int resetorg;
resetorg	2072	drivers/char/console.c	resetorg = 0;
resetorg	2076	drivers/char/console.c	resetorg = 1;
resetorg	2085	drivers/char/console.c	if (resetorg)