tag	line	file	source code
video_page	154	drivers/char/console.c	static unsigned char  video_page;    /* Initial video page (unused)  */
video_page	1902	drivers/char/console.c	video_page = ORIG_VIDEO_PAGE;       /* never used */