taglinefilesource code
reset_vc129drivers/char/console.cextern void reset_vc(unsigned int new_console);
reset_vc1879drivers/char/console.creset_vc(currcons);
reset_vc85drivers/char/keyboard.cextern void reset_vc(unsigned int new_console);
reset_vc763drivers/char/keyboard.creset_vc(fg_console);
reset_vc560drivers/char/tty_io.creset_vc(new_console);
reset_vc641drivers/char/tty_io.creset_vc(fg_console);