Searched refs:tfm_spm_init (Results 1 – 3 of 3) sorted by relevance
315 uint32_t tfm_spm_init(void);
173 exc_return = tfm_spm_init(); in handle_spm_svc_requests()
369 uint32_t tfm_spm_init(void) in tfm_spm_init() function