wdrestart         183 dev/ata/wd.c   void  wdrestart(void *);
wdrestart         353 dev/ata/wd.c   	timeout_set(&wd->sc_restart_timeout, wdrestart, wd);