tag	line	file	source code
set_console	695	drivers/char/keyboard.c	set_console(last_console);
set_console	708	drivers/char/keyboard.c	set_console(i);
set_console	721	drivers/char/keyboard.c	set_console(i);
set_console	870	drivers/char/keyboard.c	set_console(value);
set_console	784	drivers/char/vt.c	set_console(arg);