common_boot.h

Go to the documentation of this file.

 
#ifndef INFUSE_SDK_INCLUDE_INFUSE_COMMON_BOOT_H_
#define INFUSE_SDK_INCLUDE_INFUSE_COMMON_BOOT_H_
 
#ifdef CONFIG_TFM_PLATFORM_FAULT_INFO_QUERY
#include <tfm_ioctl_api.h>
#endif
 
#include <infuse/reboot.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
int infuse_common_boot_last_reboot(struct infuse_reboot_state *state);
 
#ifdef CONFIG_TFM_PLATFORM_FAULT_INFO_QUERY
 
int infuse_common_boot_secure_fault_info(struct fault_exception_info_t *fault_info);
 
#endif /* CONFIG_TFM_PLATFORM_FAULT_INFO_QUERY */
 
#ifdef __cplusplus
}
#endif
 
#endif /* INFUSE_SDK_INCLUDE_INFUSE_COMMON_BOOT_H_ */