wdctimeout        780 dev/ic/wdc.c   	timeout_set(&chp->ch_timo, wdctimeout, chp);
wdctimeout        290 dev/ic/wdcvar.h void  wdctimeout(void *arg);