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 int getBootCount();
12