tag	line	file	source code
sptr	1438	kernel/chr_drv/console.c	char *sptr, *buf = (char *)arg;
sptr	1450	kernel/chr_drv/console.c	sptr = (char *) origin;
sptr	1451	kernel/chr_drv/console.c	for (l=video_num_lines*video_num_columns; l>0 ; l--, sptr++)
sptr	1452	kernel/chr_drv/console.c	put_fs_byte(*sptr++,buf++);