tag	line	file	source code
isdn_ppp_dev_ioctl	1235	drivers/isdn/isdn_net.c	ndev->do_ioctl            = isdn_ppp_dev_ioctl;
isdn_ppp_dev_ioctl	37	drivers/isdn/isdn_ppp.h	extern int  isdn_ppp_dev_ioctl(struct device *, struct ifreq *, int);