tag	line	file	source code
isdn_ppp_cleanup	1857	drivers/isdn/isdn_common.c	isdn_ppp_cleanup();
isdn_ppp_cleanup	32	drivers/isdn/isdn_ppp.h	extern void isdn_ppp_cleanup(void);