tag	line	file	source code
resetorg	2117	drivers/char/console.c	int resetorg;
resetorg	2135	drivers/char/console.c	resetorg = 0;
resetorg	2139	drivers/char/console.c	resetorg = 1;
resetorg	2148	drivers/char/console.c	if (resetorg)