tag	line	file	source code
last_console	97	drivers/char/keyboard.c	extern int last_console;
last_console	657	drivers/char/keyboard.c	want_console = last_console;
last_console	88	drivers/char/tty_io.c	int last_console = 0;
last_console	508	drivers/char/tty_io.c	last_console = fg_console;