taglinefilesource code
change_console86drivers/char/keyboard.cextern void change_console(unsigned int new_console);
change_console1174drivers/char/keyboard.cchange_console(want_console);
change_console56drivers/char/vt.cextern void change_console(unsigned int new_console);
change_console765drivers/char/vt.cchange_console(arg);