tag	line	file	source code
reset_vc	139	drivers/char/console.c	extern void reset_vc(unsigned int new_console);
reset_vc	1840	drivers/char/console.c	reset_vc(currcons);
reset_vc	72	drivers/char/keyboard.c	extern void reset_vc(unsigned int new_console);
reset_vc	730	drivers/char/keyboard.c	reset_vc(fg_console);
reset_vc	505	drivers/char/tty_io.c	reset_vc(new_console);
reset_vc	584	drivers/char/tty_io.c	reset_vc(fg_console);