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	76	drivers/char/vga.c	if (video_type != VIDEO_TYPE_VGAC || console_blanked ||
VIDEO_TYPE_VGAC	180	drivers/char/vga.c	video_type = VIDEO_TYPE_VGAC;
VIDEO_TYPE_VGAC	324	drivers/char/vga.c	if (video_type == VIDEO_TYPE_EGAC || video_type == VIDEO_TYPE_VGAC) {
VIDEO_TYPE_VGAC	328	drivers/char/vga.c	if (video_type == VIDEO_TYPE_VGAC)
VIDEO_TYPE_VGAC	475	drivers/char/vga.c	if (fontheight > 32 || (video_type != VIDEO_TYPE_VGAC &&
VIDEO_TYPE_VGAC	547	drivers/char/vga.c	if (video_type != VIDEO_TYPE_VGAC)