tag	line	file	source code
video_mem_term	148	drivers/char/console.c	static unsigned long  video_mem_term;    /* End of video memory    */
video_mem_term	372	drivers/char/console.c	if (ss > video_mem_term - video_mem_base)
video_mem_term	577	drivers/char/console.c	outb_p(0xff&((video_mem_term-video_mem_base)>>9), video_port_val);
video_mem_term	579	drivers/char/console.c	outb_p(0xff&((video_mem_term-video_mem_base)>>1), video_port_val);
video_mem_term	1915	drivers/char/console.c	video_mem_term = 0xb8000;
video_mem_term	1922	drivers/char/console.c	video_mem_term = 0xb2000;
video_mem_term	1938	drivers/char/console.c	video_mem_term = 0xc0000;
video_mem_term	1945	drivers/char/console.c	video_mem_term = 0xba000;
video_mem_term	1970	drivers/char/console.c	video_mem_end = video_mem_term;
video_mem_term	2028	drivers/char/console.c	if (video_mem_term - video_mem_base < offset + video_screen_size)
video_mem_term	2033	drivers/char/console.c	video_mem_end = video_mem_term;
video_mem_term	2057	drivers/char/console.c	memsetw((void *)blank_origin, BLANK, video_mem_term-blank_origin);