wdt_8254_count
wdt_8254_count(wdt, WDT_8254_TC_HI, v);
wdt_8254_count(wdt, WDT_8254_TC_LO, 41666);
void wdt_8254_count(struct wdt_softc *, int, u_int16_t);