tag	line	file	source code
saved_head	1150	drivers/net/ppp.c	unsigned char *saved_head;
saved_head	1158	drivers/net/ppp.c	saved_head = ppp->us_rbuff_head;
saved_head	1188	drivers/net/ppp.c	ppp->us_rbuff_head = saved_head;