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