tag	line	file	source code
resetorg	2263	drivers/char/console.c	int resetorg;
resetorg	2281	drivers/char/console.c	resetorg = 0;
resetorg	2285	drivers/char/console.c	resetorg = 1;
resetorg	2294	drivers/char/console.c	if (resetorg)