tag	line	file	source code
ISDN_TIMER_IPPP	174	drivers/isdn/isdn_common.c	if (tf & ISDN_TIMER_IPPP)
ISDN_TIMER_IPPP	909	drivers/isdn/isdn_ppp.c	isdn_timer_ctrl(ISDN_TIMER_IPPP, 1);  /* enable timer for ippp/MP */