taglinefilesource code
video_page85drivers/char/console.cstatic unsigned char  video_page;    /* Initial video page    */
video_page1368drivers/char/console.cvideo_page = ORIG_VIDEO_PAGE;