Symbol: WDRTAS_DEFAULT_INTERVAL
drivers/watchdog/wdrtas.c
521
WDRTAS_DEFAULT_INTERVAL);
drivers/watchdog/wdrtas.c
603
wdrtas_interval = WDRTAS_DEFAULT_INTERVAL;
drivers/watchdog/wdrtas.c
605
wdrtas_interval = wdrtas_get_interval(WDRTAS_DEFAULT_INTERVAL);