wdt_8254_count     61 dev/pci/wdt.c  void	wdt_8254_count(struct wdt_softc *, int, u_int16_t);
wdt_8254_count    242 dev/pci/wdt.c  	wdt_8254_count(wdt, WDT_8254_TC_HI, v);
wdt_8254_count    276 dev/pci/wdt.c  	wdt_8254_count(wdt, WDT_8254_TC_LO, 41666);