tag | line | file | source code |
want_console | 97 | drivers/char/keyboard.c | static int want_console = -1; |
want_console | 651 | drivers/char/keyboard.c | want_console = last_console; |
want_console | 664 | drivers/char/keyboard.c | want_console = i; |
want_console | 677 | drivers/char/keyboard.c | want_console = i; |
want_console | 826 | drivers/char/keyboard.c | want_console = value; |
want_console | 1132 | drivers/char/keyboard.c | if (want_console >= 0) { |
want_console | 1133 | drivers/char/keyboard.c | if (want_console != fg_console) { |
want_console | 1134 | drivers/char/keyboard.c | change_console(want_console); |
want_console | 1139 | drivers/char/keyboard.c | want_console = -1; |