tag	line	file	source code
watchdog_ticktock	35	drivers/char/softdog.c	struct timer_list watchdog_ticktock;
watchdog_ticktock	61	drivers/char/softdog.c	watchdog_ticktock.expires=jiffies+TIMER_MARGIN;
watchdog_ticktock	62	drivers/char/softdog.c	add_timer(&watchdog_ticktock);
watchdog_ticktock	73	drivers/char/softdog.c	del_timer(&watchdog_ticktock);
watchdog_ticktock	83	drivers/char/softdog.c	del_timer(&watchdog_ticktock);
watchdog_ticktock	84	drivers/char/softdog.c	watchdog_ticktock.expires=jiffies+TIMER_MARGIN;
watchdog_ticktock	85	drivers/char/softdog.c	add_timer(&watchdog_ticktock);
watchdog_ticktock	116	drivers/char/softdog.c	init_timer(&watchdog_ticktock);
watchdog_ticktock	117	drivers/char/softdog.c	watchdog_ticktock.function=watchdog_fire;