Symbol: wdt_8254_count
sys/dev/pci/wdt.c
251
wdt_8254_count(wdt, WDT_8254_TC_HI, v);
sys/dev/pci/wdt.c
285
wdt_8254_count(wdt, WDT_8254_TC_LO, 41666);
sys/dev/pci/wdt.c
57
void wdt_8254_count(struct wdt_softc *, int, u_int16_t);