mv64x60_wdt_set_timeout  224 drivers/watchdog/mv64x60_wdt.c 		mv64x60_wdt_set_timeout(timeout);
mv64x60_wdt_set_timeout  281 drivers/watchdog/mv64x60_wdt.c 	mv64x60_wdt_set_timeout(timeout);