WDT_8254_TC_LO    274 dev/pci/wdt.c  	wdt_8254_mode(wdt, WDT_8254_TC_LO, 3);
WDT_8254_TC_LO    276 dev/pci/wdt.c  	wdt_8254_count(wdt, WDT_8254_TC_LO, 41666);