tag	line	file	source code
orig_video_page	82	arch/i386/boot/compressed/misc.c	unsigned short orig_video_page;
orig_video_page	45	include/linux/tty.h	unsigned short orig_video_page;