9 #include "tfm_spm_hal.h"
15 #define DEFAULT_NS_CLIENT_ID ((int32_t)-1)
83 __attribute__((naked, section(
"SFN")))
112 SCB_NS->VTOR = tfm_spm_hal_get_ns_VTOR();
115 uint32_t ns_msp = tfm_spm_hal_get_ns_MSP();
117 __TZ_set_MSP_NS(ns_msp);
__tfm_nspm_secure_gateway_attributes__ uint32_t TZ_InitContextSystem_S(void)
void tfm_nspm_thread_entry(void)
__tfm_nspm_secure_gateway_attributes__ uint32_t TZ_LoadContext_S(TZ_MemoryId_t id)
int32_t tfm_nspm_get_current_client_id(void)
Get the client ID of the current NS client.
__tfm_nspm_secure_gateway_attributes__ uint32_t TZ_StoreContext_S(TZ_MemoryId_t id)
#define __tfm_nspm_secure_gateway_attributes__
Attributes for secure gateway functions for NSPM.
__tfm_nspm_secure_gateway_attributes__ uint32_t TZ_FreeModuleContext_S(TZ_MemoryId_t id)
#define DEFAULT_NS_CLIENT_ID
Standard error codes for the SPM and RoT Services.
void configure_ns_code(void)
__tfm_nspm_secure_gateway_attributes__ TZ_MemoryId_t TZ_AllocModuleContext_S(TZ_ModuleId_t module)