handle_nt_timer3 1016 drivers/isdn/hardware/mISDN/hfcpci.c 				handle_nt_timer3(dch);
handle_nt_timer3 1040 drivers/isdn/hardware/mISDN/hfcpci.c 			handle_nt_timer3(dch);