taglinefilesource code
change_console72drivers/char/keyboard.cextern void change_console(unsigned int new_console);
change_console1142drivers/char/keyboard.cchange_console(want_console);
change_console52drivers/char/vt.cextern void change_console(unsigned int new_console);
change_console704drivers/char/vt.cchange_console(arg);