taglinefilesource code
sptr1447kernel/chr_drv/console.cchar *sptr, *buf = (char *)arg;
sptr1457kernel/chr_drv/console.csptr = (char *) origin;
sptr1458kernel/chr_drv/console.cfor (l=video_num_lines*video_num_columns; l>0 ; l--, sptr++)
sptr1459kernel/chr_drv/console.cput_fs_byte(*sptr++,buf++);