R_TI_WD 1473 drivers/isdn/hardware/mISDN/hfcmulti.c HFC_outb(hc, R_TI_WD, poll_timer); R_TI_WD 4134 drivers/isdn/hardware/mISDN/hfcmulti.c HFC_outb(hc, R_TI_WD, poll_timer | (wd_cnt << 4));