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