tag	line	file	source code
TIMER_MARGIN	60	drivers/char/softdog.c	watchdog_ticktock.expires=jiffies+TIMER_MARGIN;
TIMER_MARGIN	80	drivers/char/softdog.c	watchdog_ticktock.expires=jiffies+TIMER_MARGIN;