| tag | line | file | source code |
|---|
| video_type | 146 | drivers/char/console.c | static unsigned char video_type; /* Type of display being used */ |
| video_type | 560 | drivers/char/console.c | if (video_type != VIDEO_TYPE_EGAC && video_type != VIDEO_TYPE_EGAM) |
| video_type | 607 | drivers/char/console.c | if (video_type != VIDEO_TYPE_EGAC && video_type != VIDEO_TYPE_EGAM) |
| video_type | 1914 | drivers/char/console.c | video_type = VIDEO_TYPE_EGAM; |
| video_type | 1921 | drivers/char/console.c | video_type = VIDEO_TYPE_MDA; |
| video_type | 1937 | drivers/char/console.c | video_type = VIDEO_TYPE_EGAC; |
| video_type | 1944 | drivers/char/console.c | video_type = VIDEO_TYPE_CGA; |
| video_type | 2005 | drivers/char/console.c | if (video_type == VIDEO_TYPE_MDA) |
| video_type | 2204 | drivers/char/console.c | if (video_type == VIDEO_TYPE_EGAC) { |
| video_type | 2207 | drivers/char/console.c | } else if (video_type == VIDEO_TYPE_EGAM) { |