hfcmulti_dbusy_timer 3866 drivers/isdn/hardware/mISDN/hfcmulti.c 			timer_setup(&dch->timer, hfcmulti_dbusy_timer, 0);
hfcmulti_dbusy_timer 3972 drivers/isdn/hardware/mISDN/hfcmulti.c 		timer_setup(&dch->timer, hfcmulti_dbusy_timer, 0);