tag	line	file	source code
last_console	95	drivers/char/keyboard.c	static int last_console = 0;    /* last used VC */
last_console	660	drivers/char/keyboard.c	want_console = last_console;
last_console	1134	drivers/char/keyboard.c	last_console = fg_console;