15 struct wdt_chip {  struct
36 	TEE_Result (*init)(struct wdt_chip *chip, unsigned long *min_timeout,  argument
38 	void (*start)(struct wdt_chip *chip);
39 	void (*stop)(struct wdt_chip *chip);
40 	void (*ping)(struct wdt_chip *chip);
41 	TEE_Result (*set_timeout)(struct wdt_chip *chip, unsigned long timeout);
42 	TEE_Result (*get_timeleft)(struct wdt_chip *chip, bool *is_started,
47 extern struct wdt_chip *wdt_chip;
50 TEE_Result watchdog_register(struct wdt_chip *chip);
55 	if (!wdt_chip)  in watchdog_init()
58 	if (!wdt_chip->ops->init)  in watchdog_init()
61 	return wdt_chip->ops->init(wdt_chip, min_timeout, max_timeout);  in watchdog_init()
66 	if (wdt_chip)  in watchdog_start()
67 		wdt_chip->ops->start(wdt_chip);  in watchdog_start()
72 	if (wdt_chip && wdt_chip->ops->stop)  in watchdog_stop()
73 		wdt_chip->ops->stop(wdt_chip);  in watchdog_stop()
78 	if (wdt_chip)  in watchdog_ping()
79 		wdt_chip->ops->ping(wdt_chip);  in watchdog_ping()
84 	if (wdt_chip)  in watchdog_settimeout()
85 		wdt_chip->ops->set_timeout(wdt_chip, timeout);  in watchdog_settimeout()
96 	if (!wdt_chip || !wdt_chip->ops->get_timeleft)  in watchdog_gettimeleft()
99 	return wdt_chip->ops->get_timeleft(wdt_chip, is_started, timeleft);  in watchdog_gettimeleft()
102 static inline TEE_Result watchdog_register(struct wdt_chip *chip __unused)  in watchdog_register()