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