Symbol: wdt_timer_disable
sys/dev/pci/wdt.c
154
wdt_timer_disable(wdt);
sys/dev/pci/wdt.c
237
wdt_timer_disable(wdt);
sys/dev/pci/wdt.c
62
void wdt_timer_disable(struct wdt_softc *);