WDRTAS_DEFAULT_INTERVAL  522 drivers/watchdog/wdrtas.c 			WDRTAS_DEFAULT_INTERVAL);
WDRTAS_DEFAULT_INTERVAL  604 drivers/watchdog/wdrtas.c 		wdrtas_interval = WDRTAS_DEFAULT_INTERVAL;
WDRTAS_DEFAULT_INTERVAL  606 drivers/watchdog/wdrtas.c 		wdrtas_interval = wdrtas_get_interval(WDRTAS_DEFAULT_INTERVAL);