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