tag	line	file	source code
isdn_ppp_release	1467	drivers/isdn/isdn_common.c	isdn_ppp_release(minor - ISDN_MINOR_PPP, filep);
isdn_ppp_release	41	drivers/isdn/isdn_ppp.h	extern void isdn_ppp_release(int, struct file *);