tag	line	file	source code
want_console	100	drivers/char/keyboard.c	static int want_console = -1;
want_console	675	drivers/char/keyboard.c	want_console = last_console;
want_console	688	drivers/char/keyboard.c	want_console = i;
want_console	701	drivers/char/keyboard.c	want_console = i;
want_console	850	drivers/char/keyboard.c	want_console = value;
want_console	1163	drivers/char/keyboard.c	if (want_console >= 0) {
want_console	1164	drivers/char/keyboard.c	if (want_console != fg_console) {
want_console	1165	drivers/char/keyboard.c	change_console(want_console);
want_console	1170	drivers/char/keyboard.c	want_console = -1;