mixcomwd_timer    103 drivers/watchdog/mixcomwd.c static DEFINE_TIMER(mixcomwd_timer, mixcomwd_timerfun);
mixcomwd_timer    121 drivers/watchdog/mixcomwd.c 	mod_timer(&mixcomwd_timer, jiffies + 5 * HZ);
mixcomwd_timer    144 drivers/watchdog/mixcomwd.c 			del_timer(&mixcomwd_timer);
mixcomwd_timer    159 drivers/watchdog/mixcomwd.c 		mod_timer(&mixcomwd_timer, jiffies + 5 * HZ);
mixcomwd_timer    298 drivers/watchdog/mixcomwd.c 			del_timer_sync(&mixcomwd_timer);