tag	line	file	source code
orig_video_page	28	include/linux/tty.h	unsigned short orig_video_page;
orig_video_page	41	include/linux/tty.h	#define ORIG_VIDEO_PAGE    (screen_info.orig_video_page)