Symbol: wdcrestart
sys/arch/atari/dev/wdc_mb.c
232
(dma_farg)(maysleep ? NULL : wdcrestart), chp,
sys/dev/ic/wdcvar.h
159
void wdcrestart(void*);