tag	line	file	source code
ctl2dev	3337	drivers/net/ppp.c	dev = ctl2dev (ctl);
ctl2dev	3561	drivers/net/ppp.c	dev = ctl2dev (ctl);
ctl2dev	3599	drivers/net/ppp.c	dev      = ctl2dev (ctl);