tag	line	file	source code
orig_video_page	23	include/linux/tty.h	unsigned short orig_video_page;
orig_video_page	36	include/linux/tty.h	#define ORIG_VIDEO_PAGE    (screen_info.orig_video_page)
orig_video_page	24	zBoot/misc.c	unsigned short orig_video_page;