wdt_timer_disable 66 dev/pci/wdt.c void wdt_timer_disable(struct wdt_softc *); wdt_timer_disable 157 dev/pci/wdt.c wdt_timer_disable(wdt); wdt_timer_disable 228 dev/pci/wdt.c wdt_timer_disable(wdt);