Symbol: wdctimeout
sys/dev/ic/wdc.c
758
timeout_set(&chp->ch_timo, wdctimeout, chp);
sys/dev/ic/wdcvar.h
287
void wdctimeout(void *arg);