Searched refs:SPM_ASSERT (Results 1 – 11 of 11) sorted by relevance
15 #define SPM_ASSERT(cond) \ macro27 #define SPM_ASSERT(cond) macro30 #define assert(cond) SPM_ASSERT(cond)
50 SPM_ASSERT(params != NULL); in tfm_rpc_psa_call()51 SPM_ASSERT(client_data_stateless != NULL); in tfm_rpc_psa_call()64 SPM_ASSERT(client_data != NULL); in tfm_rpc_psa_connect()
127 SPM_ASSERT(service); in tfm_spm_check_client_version()154 SPM_ASSERT(service); in tfm_spm_check_authorization()191 SPM_ASSERT(p_connection); in spm_get_idle_connection()300 SPM_ASSERT(p_connection); in spm_init_idle_connection()301 SPM_ASSERT(service); in spm_init_idle_connection()413 SPM_ASSERT(handle->caller_outvec[i].base == handle->outvec_base[i]); in update_caller_outvec_len()
247 SPM_ASSERT(p_pt); in partition_init()279 SPM_ASSERT(p_pt); in ns_agent_tz_init()280 SPM_ASSERT(param); in ns_agent_tz_init()337 SPM_ASSERT(SPM_THREAD_CONTEXT); in backend_system_run()476 SPM_ASSERT(!basepri_set_by_ipc_schedule); in ipc_schedule()532 SPM_ASSERT(__get_BASEPRI() == SECURE_THREAD_EXECUTION_PRIORITY); in ipc_schedule()
87 SPM_ASSERT(p_thrd != NULL); in thrd_start()101 SPM_ASSERT(p_thrd != NULL); in thrd_set_state()
136 SPM_ASSERT(p_connection != NULL); in spm_free_connection()
84 SPM_ASSERT(is_valid_chunk_data_in_pool(pool, ptr)); in tfm_pool_free()
158 SPM_ASSERT(partition != NULL); in backend_system_run()
148 SPM_ASSERT((stk & 0x7) == 0); in arch_seal_thread_stack()167 SPM_ASSERT(*(uint64_t *)(&__STACK_SEAL) == __TZ_STACK_SEAL_VALUE); in tfm_arch_check_msp_sealing()
148 SPM_ASSERT((stk & 0x7) == 0); in arch_seal_thread_stack()
203 SPM_ASSERT(params != NULL); in tfm_mailbox_dispatch()315 SPM_ASSERT(ns_status != NULL); in tfm_mailbox_handle_msg()385 SPM_ASSERT(ns_status != NULL); in tfm_mailbox_reply_msg()
