user_time          38 drivers/watchdog/da9055_wdt.c 	int user_time;  /* In seconds */
user_time          60 drivers/watchdog/da9055_wdt.c 		if (da9055_wdt_maps[i].user_time == timeout)