taglinefilesource code
reset_vc151drivers/char/console.cextern void reset_vc(unsigned int new_console);
reset_vc1960drivers/char/console.creset_vc(currcons);
reset_vc72drivers/char/keyboard.cextern void reset_vc(unsigned int new_console);
reset_vc746drivers/char/keyboard.creset_vc(fg_console);
reset_vc551drivers/char/tty_io.creset_vc(new_console);
reset_vc632drivers/char/tty_io.creset_vc(fg_console);