tag	line	file	source code
ORIG_VIDEO_EGA_BX	1411	drivers/char/console.c	if ((ORIG_VIDEO_EGA_BX & 0xff) != 0x10)
ORIG_VIDEO_EGA_BX	1430	drivers/char/console.c	if ((ORIG_VIDEO_EGA_BX & 0xff) != 0x10)