68 	struct watchdog_device	wdd;  member
71 static int davinci_wdt_start(struct watchdog_device *wdd)  in davinci_wdt_start()  argument
76 	struct davinci_wdt_device *davinci_wdt = watchdog_get_drvdata(wdd);  in davinci_wdt_start()
90 	timer_margin = (((u64)wdd->timeout * wdt_freq) & 0xffffffff);  in davinci_wdt_start()
92 	timer_margin = (((u64)wdd->timeout * wdt_freq) >> 32);  in davinci_wdt_start()
107 static int davinci_wdt_ping(struct watchdog_device *wdd)  in davinci_wdt_ping()  argument
109 	struct davinci_wdt_device *davinci_wdt = watchdog_get_drvdata(wdd);  in davinci_wdt_ping()
118 static unsigned int davinci_wdt_get_timeleft(struct watchdog_device *wdd)  in davinci_wdt_get_timeleft()  argument
123 	struct davinci_wdt_device *davinci_wdt = watchdog_get_drvdata(wdd);  in davinci_wdt_get_timeleft()
140 	return wdd->timeout - timer_counter;  in davinci_wdt_get_timeleft()
161 	struct watchdog_device *wdd;  in davinci_wdt_probe()  local
176 	wdd			= &davinci_wdt->wdd;  in davinci_wdt_probe()
177 	wdd->info		= &davinci_wdt_info;  in davinci_wdt_probe()
178 	wdd->ops		= &davinci_wdt_ops;  in davinci_wdt_probe()
179 	wdd->min_timeout	= 1;  in davinci_wdt_probe()
180 	wdd->max_timeout	= MAX_HEARTBEAT;  in davinci_wdt_probe()
181 	wdd->timeout		= DEFAULT_HEARTBEAT;  in davinci_wdt_probe()
183 	watchdog_init_timeout(wdd, heartbeat, dev);  in davinci_wdt_probe()
185 	dev_info(dev, "heartbeat %d sec\n", wdd->timeout);  in davinci_wdt_probe()
187 	watchdog_set_drvdata(wdd, davinci_wdt);  in davinci_wdt_probe()
188 	watchdog_set_nowayout(wdd, 1);  in davinci_wdt_probe()
195 	ret = watchdog_register_device(wdd);  in davinci_wdt_probe()
206 	watchdog_unregister_device(&davinci_wdt->wdd);  in davinci_wdt_remove()