tag	line	file	source code
isdn_ppp_ioctl	1351	drivers/isdn/isdn_common.c	return (isdn_ppp_ioctl(minor - ISDN_MINOR_PPP, file, cmd, arg));
isdn_ppp_ioctl	40	drivers/isdn/isdn_ppp.h	extern int  isdn_ppp_ioctl(int, struct file *, unsigned int, unsigned long);