Searched refs:wd_softtimer (Results 1 – 1 of 1) sorted by relevance
62 static int wd_softtimer; /* true = use softtimer instead of hardware variable156 if (wd_softtimer) { in wdog_kern_pat()330 if (u == wd_softtimer) in wd_ioctl()337 wd_softtimer = u; in wd_ioctl()