Symbol: WDT_8254_TC_HI
sys/dev/pci/wdt.c
251
wdt_8254_count(wdt, WDT_8254_TC_HI, v);
sys/dev/pci/wdt.c
284
wdt_8254_mode(wdt, WDT_8254_TC_HI, 2);