tag	line	file	source code
ctl2dev	3336	drivers/net/ppp.c	dev = ctl2dev (ctl);
ctl2dev	3560	drivers/net/ppp.c	dev = ctl2dev (ctl);
ctl2dev	3598	drivers/net/ppp.c	dev      = ctl2dev (ctl);