taglinefilesource code
change_console64drivers/char/keyboard.cextern void change_console(unsigned int new_console);
change_console818drivers/char/keyboard.cchange_console(want_console);
change_console43drivers/char/vt.cextern void change_console(unsigned int new_console);
change_console504drivers/char/vt.cchange_console(arg - 1);