wdcount           222 drivers/isdn/hardware/mISDN/hfc_multi.h 	u_long		wdcount;	/* every 500 ms we need to */
wdcount          1584 drivers/isdn/hardware/mISDN/hfcmulti.c 	hc->wdcount++;
wdcount          1586 drivers/isdn/hardware/mISDN/hfcmulti.c 	if (hc->wdcount > 10) {
wdcount          1587 drivers/isdn/hardware/mISDN/hfcmulti.c 		hc->wdcount = 0;
wdcount          5101 drivers/isdn/hardware/mISDN/hfcmulti.c 		hc->wdcount = 0;