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