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