tag	line	file	source code
saved_head	1155	drivers/net/ppp.c	unsigned char *saved_head;
saved_head	1163	drivers/net/ppp.c	saved_head = ppp->us_rbuff_head;
saved_head	1193	drivers/net/ppp.c	ppp->us_rbuff_head = saved_head;