taglinefilesource code
change_console58kernel/chr_drv/keyboard.cextern void change_console(unsigned int new_console);
change_console688kernel/chr_drv/keyboard.cchange_console(want_console);
change_console40kernel/chr_drv/vt.cextern void change_console(unsigned int new_console);
change_console427kernel/chr_drv/vt.cchange_console(arg - 1);