tag	line	file	source code
isdn_ppp_timer_timeout	175	drivers/isdn/isdn_common.c	isdn_ppp_timer_timeout();
isdn_ppp_timer_timeout	27	drivers/isdn/isdn_ppp.h	extern void isdn_ppp_timer_timeout(void);