taglinefilesource code
video_page148drivers/char/console.cstatic unsigned char  video_page;    /* Initial video page (unused)  */
video_page1899drivers/char/console.cvideo_page = ORIG_VIDEO_PAGE;       /* never used */