tag	line	file	source code
VIDEO_TYPE_VGAC	567	drivers/char/console.c	if (video_type != VIDEO_TYPE_EGAC && video_type != VIDEO_TYPE_VGAC
VIDEO_TYPE_VGAC	582	drivers/char/console.c	if (video_type != VIDEO_TYPE_EGAC && video_type != VIDEO_TYPE_VGAC
VIDEO_TYPE_VGAC	2034	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	316	drivers/char/vga.c	if (video_type == VIDEO_TYPE_EGAC || video_type == VIDEO_TYPE_VGAC) {
VIDEO_TYPE_VGAC	320	drivers/char/vga.c	if (video_type == VIDEO_TYPE_VGAC)
VIDEO_TYPE_VGAC	464	drivers/char/vga.c	if (fontheight > 32 || (video_type != VIDEO_TYPE_VGAC &&
VIDEO_TYPE_VGAC	536	drivers/char/vga.c	if (video_type != VIDEO_TYPE_VGAC)