tag	line	file	source code
resetorg	2119	drivers/char/console.c	int resetorg;
resetorg	2142	drivers/char/console.c	resetorg = 0;
resetorg	2146	drivers/char/console.c	resetorg = 1;
resetorg	2155	drivers/char/console.c	if (resetorg)