mISDN_timer_cleanup  400 drivers/isdn/mISDN/core.c 	mISDN_timer_cleanup();
mISDN_timer_cleanup  412 drivers/isdn/mISDN/core.c 	mISDN_timer_cleanup();
mISDN_timer_cleanup   61 drivers/isdn/mISDN/core.h extern void	mISDN_timer_cleanup(void);