tag	line	file	source code
screen_size	214	drivers/char/console.c	static int screen_size = 0;
screen_size	1403	drivers/char/console.c	screen_size = (video_num_lines * video_size_row);
screen_size	1404	drivers/char/console.c	kmem_start += NR_CONSOLES * screen_size;
screen_size	1455	drivers/char/console.c	scr_end = video_mem_end = (base += screen_size);
screen_size	1501	drivers/char/console.c	memcpy((void *)vc_scrbuf[currcons],(void *)origin, screen_size);
screen_size	1504	drivers/char/console.c	scr_end = video_mem_end = video_mem_start+screen_size;
screen_size	1544	drivers/char/console.c	scr_end  = video_mem_start + screen_size;
screen_size	1546	drivers/char/console.c	memcpy((void *)video_mem_base, (void *)vc_scrbuf[fg_console], screen_size);