taglinefilesource code
reset_vc137drivers/char/console.cextern void reset_vc(unsigned int new_console);
reset_vc1839drivers/char/console.creset_vc(currcons);
reset_vc72drivers/char/keyboard.cextern void reset_vc(unsigned int new_console);
reset_vc747drivers/char/keyboard.creset_vc(fg_console);
reset_vc544drivers/char/tty_io.creset_vc(new_console);
reset_vc621drivers/char/tty_io.creset_vc(fg_console);