tag | line | file | source code |
video_type | 90 | drivers/char/console.c | static unsigned char video_type; /* Type of display being used */ |
video_type | 377 | drivers/char/console.c | if (video_type != VIDEO_TYPE_EGAC && video_type != VIDEO_TYPE_EGAM) |
video_type | 418 | drivers/char/console.c | if (video_type != VIDEO_TYPE_EGAC && video_type != VIDEO_TYPE_EGAM) |
video_type | 1414 | drivers/char/console.c | video_type = VIDEO_TYPE_EGAM; |
video_type | 1420 | drivers/char/console.c | video_type = VIDEO_TYPE_MDA; |
video_type | 1433 | drivers/char/console.c | video_type = VIDEO_TYPE_EGAC; |
video_type | 1439 | drivers/char/console.c | video_type = VIDEO_TYPE_CGA; |
video_type | 1513 | drivers/char/console.c | if (video_type == VIDEO_TYPE_MDA) |
video_type | 1845 | drivers/char/console.c | if (video_type == VIDEO_TYPE_EGAC) |
video_type | 1847 | drivers/char/console.c | else if (video_type == VIDEO_TYPE_EGAM) |