Lines Matching refs:timer
5 * and the Cobalt kernel WDT timer driver by Tim Hockin
25 #include <linux/timer.h>
72 static DEFINE_TIMER(timer, wdt_timer_ping, 0, 1);
110 /* Re-set the timer interval */
111 mod_timer(&timer, jiffies + WDT_INTERVAL);
143 /* We must enable before we kick off the timer in case the timer
148 /* Start the timer */
149 mod_timer(&timer, jiffies + WDT_INTERVAL);
151 printk(KERN_INFO PFX "Watchdog timer is now enabled.\n");
156 /* Stop the timer */
157 del_timer_sync(&timer);
159 printk(KERN_INFO PFX "Watchdog timer is now disabled...\n");
174 /* See if we got the magic character 'V' and reload the timer */
192 /* someone wrote to us, we should restart timer */
213 /* wim: shouldn't there be a: del_timer(&timer); */
313 printk(KERN_INFO PFX "Watchdog timer is now enabled with no heartbeat - should reboot in ~1 second.\n");