tag	line	file	source code
video_mem_term	64	kernel/chr_drv/console.c	static unsigned long  video_mem_term;    /* End of video memory    */
video_mem_term	1272	kernel/chr_drv/console.c	video_mem_term = 0xb8000;
video_mem_term	1278	kernel/chr_drv/console.c	video_mem_term = 0xb2000;
video_mem_term	1291	kernel/chr_drv/console.c	video_mem_term = 0xc0000;
video_mem_term	1297	kernel/chr_drv/console.c	video_mem_term = 0xba000;
video_mem_term	1326	kernel/chr_drv/console.c	video_mem_end = video_mem_term;
video_mem_term	1363	kernel/chr_drv/console.c	video_mem_end = video_mem_term;
video_mem_term	1378	kernel/chr_drv/console.c	memsetw((void *)video_mem_base, 0x0020, video_mem_term-video_mem_base );