|
K-FSW ec10f94
Modular flight software on Zephyr, for small satellites
|
#include <stdbool.h>#include <stdint.h>Functions | |
| int | kfsw_platform_get_reset_cause (uint32_t *cause) |
| bool | kfsw_platform_reset_cause_is_watchdog (uint32_t cause) |
| const char * | kfsw_platform_reset_cause_name (uint32_t cause) |
Hardware reset-cause API.
| int kfsw_platform_get_reset_cause | ( | uint32_t * | cause | ) |
Read and clear the hardware reset cause.
| [out] | cause | Reset-cause flags. |
| 0 | The reset cause was read successfully. |
| -EINVAL | cause is NULL. |
| bool kfsw_platform_reset_cause_is_watchdog | ( | uint32_t | cause | ) |
Whether the watchdog is one of the latched reset causes.
| cause | Reset-cause flags from kfsw_platform_get_reset_cause. |
| const char * kfsw_platform_reset_cause_name | ( | uint32_t | cause | ) |
Short name for a reset cause.
When several causes are latched, the watchdog is reported first. Never returns NULL.
| cause | Reset-cause flags from kfsw_platform_get_reset_cause. |