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