Searched defs:wd_margin (Results 1 – 2 of 2) sorted by relevance
193 static int wd_margin = 0xB; variable
114 int wd_margin = 15 - ((timeout + 1) / 2); in ibwdt_ping() local