Symbol: wdt_init_timer
sys/dev/pci/wdt.c
149
wdt_init_timer(wdt);
sys/dev/pci/wdt.c
60
void wdt_init_timer(struct wdt_softc *);