wdt_init_timer     64 dev/pci/wdt.c  void	wdt_init_timer(struct wdt_softc *);
wdt_init_timer    152 dev/pci/wdt.c  	wdt_init_timer(wdt);