taglinefilesource code
reset_vc132drivers/char/console.cextern void reset_vc(unsigned int new_console);
reset_vc1910drivers/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_vc565drivers/char/tty_io.creset_vc(new_console);
reset_vc646drivers/char/tty_io.creset_vc(fg_console);