taglinefilesource code
screen_size190kernel/chr_drv/console.cstatic int screen_size = 0;
screen_size1255kernel/chr_drv/console.cscreen_size = (video_num_lines * video_size_row);
screen_size1256kernel/chr_drv/console.ckmem_start += NR_CONSOLES * screen_size;
screen_size1307kernel/chr_drv/console.cscr_end = video_mem_end = (base += screen_size);
screen_size1353kernel/chr_drv/console.cmemcpy((void *)vc_scrbuf[currcons],(void *)origin, screen_size);
screen_size1356kernel/chr_drv/console.cscr_end = video_mem_end = video_mem_start+screen_size;
screen_size1365kernel/chr_drv/console.cscr_end  = video_mem_start + screen_size;
screen_size1367kernel/chr_drv/console.cmemcpy((void *)video_mem_base, (void *)vc_scrbuf[fg_console], screen_size);