taglinefilesource code
want_console84drivers/char/keyboard.cstatic int want_console = -1;
want_console477drivers/char/keyboard.cwant_console = last_console;
want_console596drivers/char/keyboard.cwant_console = value;
want_console814drivers/char/keyboard.cif (want_console >= 0) {
want_console815drivers/char/keyboard.cif (want_console != fg_console) {
want_console817drivers/char/keyboard.cchange_console(want_console);
want_console819drivers/char/keyboard.cwant_console = -1;