Searched refs:wd_softtimer (Results 1 – 1 of 1) sorted by relevance
64 static int wd_softtimer; /* true = use softtimer instead of hardware variable158 if (wd_softtimer) { in wdog_kern_pat()332 if (u == wd_softtimer) in wd_ioctl()339 wd_softtimer = u; in wd_ioctl()