taglinefilesource code
want_console94drivers/char/keyboard.cstatic int want_console = -1;
want_console660drivers/char/keyboard.cwant_console = last_console;
want_console673drivers/char/keyboard.cwant_console = i;
want_console686drivers/char/keyboard.cwant_console = i;
want_console826drivers/char/keyboard.cwant_console = value;
want_console1132drivers/char/keyboard.cif (want_console >= 0) {
want_console1133drivers/char/keyboard.cif (want_console != fg_console) {
want_console1135drivers/char/keyboard.cchange_console(want_console);
want_console1140drivers/char/keyboard.cwant_console = -1;