tag | line | file | source code |
---|---|---|---|
change_console | 58 | drivers/char/keyboard.c | extern void change_console(unsigned int new_console); |
change_console | 730 | drivers/char/keyboard.c | change_console(want_console); |
change_console | 40 | drivers/char/vt.c | extern void change_console(unsigned int new_console); |
change_console | 439 | drivers/char/vt.c | change_console(arg - 1); |