1 #include <stdint.h>
2
3 /**
4 * @brief Get the current boot count for the host
5 *
6 * The boot count indicates how many more times the bmc will try to
7 * boot the host.
8 *
9 * @return Number of boot attempts left
10 **/
11 uint32_t getBootCount();
12