wd33c93_watchdog
void wd33c93_watchdog (void *arg);
callout_reset(&sc->sc_watchdog, 60 * hz, wd33c93_watchdog, sc);