taglinefilesource code
want_console77drivers/char/keyboard.cstatic int want_console = -1;
want_console455drivers/char/keyboard.cwant_console = last_console;
want_console574drivers/char/keyboard.cwant_console = value;
want_console792drivers/char/keyboard.cif (want_console >= 0) {
want_console793drivers/char/keyboard.cif (want_console != fg_console) {
want_console795drivers/char/keyboard.cchange_console(want_console);
want_console797drivers/char/keyboard.cwant_console = -1;