tag	line	file	source code
buf0	68	drivers/char/vc_screen.c	char *buf0;
buf0	89	drivers/char/vc_screen.c	buf0 = buf;
buf0	115	drivers/char/vc_screen.c	read = buf - buf0;
buf0	126	drivers/char/vc_screen.c	char *buf0;
buf0	147	drivers/char/vc_screen.c	buf0 = buf;
buf0	180	drivers/char/vc_screen.c	written = buf - buf0;