Searched refs:WDT_8254_TC_HI (Results 1 – 1 of 1) sorted by relevance
82 #define WDT_8254_TC_HI 1 /* high 16 bits of timeout counter */ macro251 wdt_8254_count(wdt, WDT_8254_TC_HI, v); in wdt_set_timeout()284 wdt_8254_mode(wdt, WDT_8254_TC_HI, 2); in wdt_init_timer()