tag	line	file	source code
isdn_ppp_free_mpqueue	2223	drivers/isdn/isdn_net.c	isdn_ppp_free_mpqueue(p);
isdn_ppp_free_mpqueue	38	drivers/isdn/isdn_ppp.h	extern void isdn_ppp_free_mpqueue(isdn_net_dev *);