|
K-FSW ec10f94
Modular flight software on Zephyr, for small satellites
|
#include <watchdog.h>
Public Attributes | |
| uint32_t | timeout_ms |
| uint32_t | feed_interval_ms |
| uint32_t | feeds |
| uint32_t | since_feed_ms |
| uint8_t | state |
| bool | device_bound |
| bool | keepalive_owned |
Consistent snapshot of watchdog configuration and activity.
| bool kfsw_platform_watchdog_info::device_bound |
True when a watchdog device was bound at initialization.
| uint32_t kfsw_platform_watchdog_info::feed_interval_ms |
Interval the keep-alive feeds at, in milliseconds.
| uint32_t kfsw_platform_watchdog_info::feeds |
Feeds issued since boot; saturates at UINT32_MAX.
| bool kfsw_platform_watchdog_info::keepalive_owned |
True while the built-in keep-alive is feeding.
| uint32_t kfsw_platform_watchdog_info::since_feed_ms |
Milliseconds since the most recent feed, or zero if never fed.
| uint8_t kfsw_platform_watchdog_info::state |
One of kfsw_platform_watchdog_state.
| uint32_t kfsw_platform_watchdog_info::timeout_ms |
Configured timeout in milliseconds.