taglinefilesource code
want_console48kernel/chr_drv/keyboard.cstatic int want_console = -1;
want_console1256kernel/chr_drv/keyboard.cwant_console = sc;
want_console1364kernel/chr_drv/keyboard.cif (want_console >= 0) {
want_console1365kernel/chr_drv/keyboard.cchange_console(want_console);
want_console1366kernel/chr_drv/keyboard.cwant_console = -1;