Searched refs:wdt_use_string (Results 1 – 1 of 1) sorted by relevance
635 const char *wdt_use_string[8] = { variable684 wdt_use_string[(wdt_res->timer_use & 0x07 )], wdt_res->timer_use); in ipmi_mc_get_watchdog()