tag
line
file
source code
video_page
84
kernel/chr_drv/console.c
static unsigned char video_page; /* Initial video page */
video_page
1358
kernel/chr_drv/console.c
video_page = ORIG_VIDEO_PAGE;