123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259 |
- #ifndef ZEPHYR_INCLUDE_DRIVERS_WATCHDOG_H_
- #define ZEPHYR_INCLUDE_DRIVERS_WATCHDOG_H_
- #include <zephyr/types.h>
- #include <sys/util.h>
- #include <device.h>
- #ifdef __cplusplus
- extern "C" {
- #endif
- #define WDT_OPT_PAUSE_IN_SLEEP BIT(0)
- #define WDT_OPT_PAUSE_HALTED_BY_DBG BIT(1)
- #define WDT_FLAG_RESET_SHIFT (0)
- #define WDT_FLAG_RESET_MASK (0x3 << WDT_FLAG_RESET_SHIFT)
- #define WDT_FLAG_RESET_NONE (0 << WDT_FLAG_RESET_SHIFT)
- #define WDT_FLAG_RESET_CPU_CORE (1 << WDT_FLAG_RESET_SHIFT)
- #define WDT_FLAG_RESET_SOC (2 << WDT_FLAG_RESET_SHIFT)
- struct wdt_window {
- uint32_t min;
- uint32_t max;
- };
- typedef void (*wdt_callback_t)(const struct device *dev, int channel_id);
- struct wdt_timeout_cfg {
- struct wdt_window window;
- wdt_callback_t callback;
- #ifdef CONFIG_WDT_MULTISTAGE
- struct wdt_timeout_cfg *next;
- #endif
- uint8_t flags;
- };
- typedef int (*wdt_api_setup)(const struct device *dev, uint8_t options);
- typedef int (*wdt_api_disable)(const struct device *dev);
- typedef int (*wdt_api_install_timeout)(const struct device *dev,
- const struct wdt_timeout_cfg *cfg);
- typedef int (*wdt_api_feed)(const struct device *dev, int channel_id);
- __subsystem struct wdt_driver_api {
- wdt_api_setup setup;
- wdt_api_disable disable;
- wdt_api_install_timeout install_timeout;
- wdt_api_feed feed;
- };
- __syscall int wdt_setup(const struct device *dev, uint8_t options);
- static inline int z_impl_wdt_setup(const struct device *dev, uint8_t options)
- {
- const struct wdt_driver_api *api =
- (const struct wdt_driver_api *)dev->api;
- return api->setup(dev, options);
- }
- __syscall int wdt_disable(const struct device *dev);
- static inline int z_impl_wdt_disable(const struct device *dev)
- {
- const struct wdt_driver_api *api =
- (const struct wdt_driver_api *)dev->api;
- return api->disable(dev);
- }
- static inline int wdt_install_timeout(const struct device *dev,
- const struct wdt_timeout_cfg *cfg)
- {
- const struct wdt_driver_api *api =
- (const struct wdt_driver_api *) dev->api;
- return api->install_timeout(dev, cfg);
- }
- __syscall int wdt_feed(const struct device *dev, int channel_id);
- static inline int z_impl_wdt_feed(const struct device *dev, int channel_id)
- {
- const struct wdt_driver_api *api =
- (const struct wdt_driver_api *)dev->api;
- return api->feed(dev, channel_id);
- }
- #ifdef __cplusplus
- }
- #endif
- #include <syscalls/watchdog.h>
- #endif
|