11 #include "tfm_spm_hal.h"
15 #define DEFAULT_NS_CLIENT_ID (-1)
29 tfm_spm_hal_boot_ns_cpu(tfm_spm_hal_get_ns_VTOR());
30 tfm_spm_hal_wait_for_ns_cpu_ready();
int32_t tfm_nspm_get_current_client_id(void)
Get the client ID of the current NS client.
#define SPMLOG_DBGMSG(msg)
int32_t tfm_mailbox_init(void)
SPE mailbox initialization.
void tfm_core_panic(void)
#define DEFAULT_NS_CLIENT_ID
void tfm_psa_ipc_request_handler(const uint32_t svc_args[])
void tfm_nspm_thread_entry(void)