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