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);