| #ifndef __WATCHDOG_PRETIMEOUT_H |
| #define __WATCHDOG_PRETIMEOUT_H |
| #define WATCHDOG_GOV_NAME_MAXLEN 20 |
| struct watchdog_governor { |
| const char name[WATCHDOG_GOV_NAME_MAXLEN]; |
| void (*pretimeout)(struct watchdog_device *wdd); |
| #if IS_ENABLED(CONFIG_WATCHDOG_PRETIMEOUT_GOV) |
| /* Interfaces to watchdog pretimeout governors */ |
| int watchdog_register_governor(struct watchdog_governor *gov); |
| void watchdog_unregister_governor(struct watchdog_governor *gov); |
| /* Interfaces to watchdog_dev.c */ |
| int watchdog_register_pretimeout(struct watchdog_device *wdd); |
| void watchdog_unregister_pretimeout(struct watchdog_device *wdd); |
| int watchdog_pretimeout_governor_get(struct watchdog_device *wdd, char *buf); |
| #if IS_ENABLED(CONFIG_WATCHDOG_PRETIMEOUT_DEFAULT_GOV_NOOP) |
| #define WATCHDOG_PRETIMEOUT_DEFAULT_GOV "noop" |
| #elif IS_ENABLED(CONFIG_WATCHDOG_PRETIMEOUT_DEFAULT_GOV_PANIC) |
| #define WATCHDOG_PRETIMEOUT_DEFAULT_GOV "panic" |
| static inline int watchdog_register_pretimeout(struct watchdog_device *wdd) |
| static inline void watchdog_unregister_pretimeout(struct watchdog_device *wdd) |
| static inline int watchdog_pretimeout_governor_get(struct watchdog_device *wdd, |