tag | line | file | source code |
---|---|---|---|
change_console | 72 | drivers/char/keyboard.c | extern void change_console(unsigned int new_console); |
change_console | 1142 | drivers/char/keyboard.c | change_console(want_console); |
change_console | 52 | drivers/char/vt.c | extern void change_console(unsigned int new_console); |
change_console | 704 | drivers/char/vt.c | change_console(arg); |