wdrtas_interval    43 drivers/watchdog/wdrtas.c static int wdrtas_interval;
wdrtas_interval   135 drivers/watchdog/wdrtas.c 	wdrtas_set_interval(wdrtas_interval);
wdrtas_interval   332 drivers/watchdog/wdrtas.c 			wdrtas_interval = i;
wdrtas_interval   334 drivers/watchdog/wdrtas.c 			wdrtas_interval = wdrtas_get_interval(i);
wdrtas_interval   338 drivers/watchdog/wdrtas.c 		return put_user(wdrtas_interval, argp);
wdrtas_interval   604 drivers/watchdog/wdrtas.c 		wdrtas_interval = WDRTAS_DEFAULT_INTERVAL;
wdrtas_interval   606 drivers/watchdog/wdrtas.c 		wdrtas_interval = wdrtas_get_interval(WDRTAS_DEFAULT_INTERVAL);