![]() |
TF-M Reference Manual
1.2.0
TrustedFirmware-M
|
#include <stdint.h>
#include "tfm_boot_status.h"
#include "region_defs.h"
#include "tfm_memory_utils.h"
#include "tfm_api.h"
#include "tfm_core_utils.h"
#include "spm_partition_defs.h"
#include "spm_func.h"
Go to the source code of this file.
Data Structures | |
struct | boot_data_access_policy |
Defines the access policy of secure partitions to data items in shared data area (between bootloader and runtime firmware). More... | |
Macros | |
#define | BOOT_DATA_VALID (1u) |
Indicates that shared data between bootloader and runtime firmware was passed the sanity check with success. More... | |
#define | BOOT_DATA_INVALID (0u) |
Indicates that shared data between bootloader and runtime firmware was failed on sanity check. More... | |
Functions | |
void | tfm_core_validate_boot_data (void) |
Validate the content of shared memory area, which stores the shared data between bootloader and runtime firmware. More... | |
void | tfm_core_get_boot_data_handler (uint32_t args[]) |
Retrieve secure partition related data from shared memory area, which stores shared data between bootloader and runtime firmware. More... | |
#define BOOT_DATA_INVALID (0u) |
Indicates that shared data between bootloader and runtime firmware was failed on sanity check.
Definition at line 41 of file tfm_boot_data.c.
#define BOOT_DATA_VALID (1u) |
Indicates that shared data between bootloader and runtime firmware was passed the sanity check with success.
Definition at line 33 of file tfm_boot_data.c.
void tfm_core_get_boot_data_handler | ( | uint32_t | args[] | ) |
Retrieve secure partition related data from shared memory area, which stores shared data between bootloader and runtime firmware.
[in] | args | Pointer to stack frame, which carries input parameters. |
Definition at line 134 of file tfm_boot_data.c.
void tfm_core_validate_boot_data | ( | void | ) |
Validate the content of shared memory area, which stores the shared data between bootloader and runtime firmware.
Definition at line 119 of file tfm_boot_data.c.