set_counter_value  206 drivers/watchdog/armada_37xx_wdt.c 	set_counter_value(dev, CNTR_ID_RETRIGGER, 0);
set_counter_value  211 drivers/watchdog/armada_37xx_wdt.c 	set_counter_value(dev, CNTR_ID_WDOG, dev->timeout);