wdrtas_set_interval  135 drivers/watchdog/wdrtas.c 	wdrtas_set_interval(wdrtas_interval);
wdrtas_set_interval  146 drivers/watchdog/wdrtas.c 	wdrtas_set_interval(0);
wdrtas_set_interval  326 drivers/watchdog/wdrtas.c 		if (wdrtas_set_interval(i))