wdt_is501          60 dev/pci/wdt.c  int	wdt_is501(struct wdt_softc *);
wdt_is501         136 dev/pci/wdt.c  	if (wdt_is501(wdt))