tag	line	file	source code
screen_size	214	drivers/char/console.c	static int screen_size = 0;
screen_size	1398	drivers/char/console.c	screen_size = (video_num_lines * video_size_row);
screen_size	1399	drivers/char/console.c	kmem_start += NR_CONSOLES * screen_size;
screen_size	1450	drivers/char/console.c	scr_end = video_mem_end = (base += screen_size);
screen_size	1496	drivers/char/console.c	memcpy((void *)vc_scrbuf[currcons],(void *)origin, screen_size);
screen_size	1499	drivers/char/console.c	scr_end = video_mem_end = video_mem_start+screen_size;
screen_size	1539	drivers/char/console.c	scr_end  = video_mem_start + screen_size;
screen_size	1541	drivers/char/console.c	memcpy((void *)video_mem_base, (void *)vc_scrbuf[fg_console], screen_size);