WDT_8254_BASE      92 dev/pci/wdt.c  #define WDT_8254_CTL		(WDT_8254_BASE + 3)
WDT_8254_BASE     196 dev/pci/wdt.c  			WDT_8254_BASE + counter, v & 0xFF);
WDT_8254_BASE     197 dev/pci/wdt.c  	bus_space_write_1(wdt->iot, wdt->ioh, WDT_8254_BASE + counter, v >> 8);