267 static int iTCO_wdt_start(struct watchdog_device *wd_dev)  in iTCO_wdt_start()  argument
269 	struct iTCO_wdt_private *p = watchdog_get_drvdata(wd_dev);  in iTCO_wdt_start()
274 	iTCO_vendor_pre_start(p->smi_res, wd_dev->timeout);  in iTCO_wdt_start()
279 		dev_err(wd_dev->parent, "failed to reset NO_REBOOT flag, reboot disabled by hardware/BIOS\n");  in iTCO_wdt_start()
302 static int iTCO_wdt_stop(struct watchdog_device *wd_dev)  in iTCO_wdt_stop()  argument
304 	struct iTCO_wdt_private *p = watchdog_get_drvdata(wd_dev);  in iTCO_wdt_stop()
327 static int iTCO_wdt_ping(struct watchdog_device *wd_dev)  in iTCO_wdt_ping()  argument
329 	struct iTCO_wdt_private *p = watchdog_get_drvdata(wd_dev);  in iTCO_wdt_ping()
348 static int iTCO_wdt_set_timeout(struct watchdog_device *wd_dev, unsigned int t)  in iTCO_wdt_set_timeout()  argument
350 	struct iTCO_wdt_private *p = watchdog_get_drvdata(wd_dev);  in iTCO_wdt_set_timeout()
394 	wd_dev->timeout = t;  in iTCO_wdt_set_timeout()
398 static unsigned int iTCO_wdt_get_timeleft(struct watchdog_device *wd_dev)  in iTCO_wdt_get_timeleft()  argument
400 	struct iTCO_wdt_private *p = watchdog_get_drvdata(wd_dev);  in iTCO_wdt_get_timeleft()