tag	line	file	source code
ctl2dev	3343	drivers/net/ppp.c	dev = ctl2dev (ctl);
ctl2dev	3567	drivers/net/ppp.c	dev = ctl2dev (ctl);
ctl2dev	3610	drivers/net/ppp.c	dev      = ctl2dev (ctl);