WDT_8254_BASE
WDT_8254_BASE + counter, v & 0xFF);
bus_space_write_1(wdt->sc_iot, wdt->sc_ioh, WDT_8254_BASE + counter, v >> 8);
#define WDT_8254_CTL (WDT_8254_BASE + 3)