tag	line	file	source code
want_console	48	kernel/chr_drv/keyboard.c	static int want_console = -1;
want_console	1256	kernel/chr_drv/keyboard.c	want_console = sc;
want_console	1364	kernel/chr_drv/keyboard.c	if (want_console >= 0) {
want_console	1365	kernel/chr_drv/keyboard.c	change_console(want_console);
want_console	1366	kernel/chr_drv/keyboard.c	want_console = -1;