Symbol: handle_nt_timer3
drivers/isdn/hardware/mISDN/hfcpci.c
1018
handle_nt_timer3(dch);
drivers/isdn/hardware/mISDN/hfcpci.c
1042
handle_nt_timer3(dch);