WDT_8254_TC_HI    242 dev/pci/wdt.c  	wdt_8254_count(wdt, WDT_8254_TC_HI, v);
WDT_8254_TC_HI    275 dev/pci/wdt.c  	wdt_8254_mode(wdt, WDT_8254_TC_HI, 2);