tag
line
file
source code
video_page
85
drivers/char/console.c
static unsigned char video_page; /* Initial video page */
video_page
1368
drivers/char/console.c
video_page = ORIG_VIDEO_PAGE;