tag	line	file	source code
VIDEO_TYPE_VGAC	579	drivers/char/console.c	if (video_type != VIDEO_TYPE_EGAC && video_type != VIDEO_TYPE_VGAC
VIDEO_TYPE_VGAC	2033	drivers/char/console.c	|| video_type == VIDEO_TYPE_VGAC
VIDEO_TYPE_VGAC	2073	drivers/char/console.c	if ( video_type == VIDEO_TYPE_VGAC || video_type == VIDEO_TYPE_EGAC
VIDEO_TYPE_VGAC	72	drivers/char/vga.c	if (video_type != VIDEO_TYPE_VGAC || console_blanked ||
VIDEO_TYPE_VGAC	176	drivers/char/vga.c	video_type = VIDEO_TYPE_VGAC;
VIDEO_TYPE_VGAC	319	drivers/char/vga.c	if (video_type == VIDEO_TYPE_EGAC || video_type == VIDEO_TYPE_VGAC) {
VIDEO_TYPE_VGAC	323	drivers/char/vga.c	if (video_type == VIDEO_TYPE_VGAC)
VIDEO_TYPE_VGAC	467	drivers/char/vga.c	if (fontheight > 32 || (video_type != VIDEO_TYPE_VGAC &&
VIDEO_TYPE_VGAC	539	drivers/char/vga.c	if (video_type != VIDEO_TYPE_VGAC)