tag	line	file	source code
watchdog_ticktock	34	drivers/char/softdog.c	struct timer_list watchdog_ticktock;
watchdog_ticktock	60	drivers/char/softdog.c	watchdog_ticktock.expires=jiffies+TIMER_MARGIN;
watchdog_ticktock	61	drivers/char/softdog.c	add_timer(&watchdog_ticktock);
watchdog_ticktock	70	drivers/char/softdog.c	del_timer(&watchdog_ticktock);
watchdog_ticktock	79	drivers/char/softdog.c	del_timer(&watchdog_ticktock);
watchdog_ticktock	80	drivers/char/softdog.c	watchdog_ticktock.expires=jiffies+TIMER_MARGIN;
watchdog_ticktock	81	drivers/char/softdog.c	add_timer(&watchdog_ticktock);
watchdog_ticktock	112	drivers/char/softdog.c	init_timer(&watchdog_ticktock);
watchdog_ticktock	113	drivers/char/softdog.c	watchdog_ticktock.function=watchdog_fire;