Symbol: WDT_8254_TC_LO
sys/dev/pci/wdt.c
283
wdt_8254_mode(wdt, WDT_8254_TC_LO, 3);
sys/dev/pci/wdt.c
285
wdt_8254_count(wdt, WDT_8254_TC_LO, 41666);