tag	line	file	source code
change_console	86	drivers/char/keyboard.c	extern void change_console(unsigned int new_console);
change_console	1171	drivers/char/keyboard.c	change_console(want_console);
change_console	58	drivers/char/vt.c	extern void change_console(unsigned int new_console);
change_console	767	drivers/char/vt.c	change_console(arg);