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