tag	line	file	source code
change_console	45	kernel/chr_drv/keyboard.c	extern void change_console(unsigned int new_console);
change_console	1386	kernel/chr_drv/keyboard.c	change_console(want_console);
change_console	38	kernel/chr_drv/vt.c	extern void change_console(unsigned int new_console);
change_console	337	kernel/chr_drv/vt.c	change_console(arg - 1);