![]() |
TF-M Reference Manual
1.2.0
TrustedFirmware-M
|
#include <secure_fw/spm/cmsis_psa/spm_ipc.h>
Data Fields | |
uint32_t | psa_framework_version |
uint32_t | partition_id |
uint32_t | partition_flags |
uint32_t | partition_priority |
sp_entry_point | partition_init |
uintptr_t | stack_base |
size_t | stack_size |
uintptr_t | heap_base |
size_t | heap_size |
uint32_t | dependencies_num |
uint32_t * | p_dependencies |
Holds the fields of the partition DB used by the SPM code. The values of these fields are calculated at compile time, and set during initialisation phase.
sp_entry_point partition_init |