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