taglinefilesource code
vc_scrbuf140drivers/char/console.cunsigned short *vc_scrbuf[NR_CONSOLES];
vc_scrbuf1422drivers/char/console.cvc_scrbuf[currcons] = (unsigned short *) origin;
vc_scrbuf1467drivers/char/console.cmemcpy((void *)vc_scrbuf[currcons],(void *)origin, screen_size);
vc_scrbuf1468drivers/char/console.cvideo_mem_start = (unsigned long)vc_scrbuf[currcons];
vc_scrbuf1512drivers/char/console.cmemcpy((void *)video_mem_base, (void *)vc_scrbuf[fg_console], screen_size);