Symbol: TIMER_MARGIN_DEFAULT
drivers/rtc/rtc-ds1374.c
514
ds1374->wdt.timeout = TIMER_MARGIN_DEFAULT;
drivers/watchdog/omap_wdt.c
253
wdev->wdog.timeout = TIMER_MARGIN_DEFAULT;