tag	line	file	source code
VIDEO_TYPE_MDA	1392	drivers/char/console.c	video_type = VIDEO_TYPE_MDA;
VIDEO_TYPE_MDA	1485	drivers/char/console.c	if (video_type == VIDEO_TYPE_MDA)