Searched refs:SPM_ASSERT (Results 1 – 11 of 11) sorted by relevance
171 SPM_ASSERT(conn_handle != NULL); in tfm_spm_free_conn_handle()258 SPM_ASSERT(service); in tfm_spm_check_client_version()285 SPM_ASSERT(service); in tfm_spm_check_authorization()369 SPM_ASSERT(conn_handle); in spm_fill_message()370 SPM_ASSERT(service); in spm_fill_message()371 SPM_ASSERT(!(invec == NULL && in_len != 0)); in spm_fill_message()372 SPM_ASSERT(!(outvec == NULL && out_len != 0)); in spm_fill_message()373 SPM_ASSERT(in_len <= SIZE_MAX - out_len); in spm_fill_message()374 SPM_ASSERT(in_len + out_len <= PSA_MAX_IOVEC); in spm_fill_message()508 SPM_ASSERT(handle->ack_evnt.owner->state == THRD_STATE_BLOCK); in update_caller_outvec_len()[all …]
45 SPM_ASSERT(params != NULL); in tfm_rpc_psa_version()52 SPM_ASSERT(params != NULL); in tfm_rpc_psa_call()66 SPM_ASSERT(params != NULL); in tfm_rpc_psa_connect()73 SPM_ASSERT(params != NULL); in tfm_rpc_psa_close()
57 SPM_ASSERT(p_thrd != NULL); in thrd_start()71 SPM_ASSERT(p_thrd != NULL); in thrd_set_state()102 SPM_ASSERT(p_sync_obj && p_sync_obj->magic == THRD_SYNC_MAGIC); in thrd_set_wait()110 SPM_ASSERT(p_sync_obj && p_sync_obj->magic == THRD_SYNC_MAGIC); in thrd_wake_up()
28 SPM_ASSERT(params != NULL); in tfm_mailbox_dispatch()29 SPM_ASSERT(psa_ret != NULL); in tfm_mailbox_dispatch()196 SPM_ASSERT(ns_queue != NULL); in tfm_mailbox_handle_msg()303 SPM_ASSERT(ns_queue != NULL); in tfm_mailbox_reply_msg()
22 #define SPM_ASSERT(cond) \ macro33 #define SPM_ASSERT(cond) macro
126 SPM_ASSERT((stk & 0x7) == 0); in arch_seal_thread_stack()145 SPM_ASSERT(*(uint64_t *)(&__STACK_SEAL) == __TZ_STACK_SEAL_VALUE); in tfm_arch_check_msp_sealing()
236 SPM_ASSERT((memory_regions.non_secure_partition_base % FLASH_SUBREGION_SIZE) == 0); in mpc_init_cfg()237 SPM_ASSERT(((memory_regions.non_secure_partition_limit+1) % FLASH_SUBREGION_SIZE) == 0); in mpc_init_cfg()270 SPM_ASSERT((memory_regions.secondary_partition_base % FLASH_SUBREGION_SIZE) == 0); in mpc_init_cfg()271 SPM_ASSERT(((memory_regions.secondary_partition_limit+1) % FLASH_SUBREGION_SIZE) == 0); in mpc_init_cfg()315 SPM_ASSERT((S_DATA_SIZE % DATA_SUBREGION_SIZE) == 0); in mpc_init_cfg()316 SPM_ASSERT(((S_DATA_SIZE + NS_DATA_SIZE) % DATA_SUBREGION_SIZE) == 0); in mpc_init_cfg()
84 SPM_ASSERT(0); in send_service_reply_to_non_secure()92 SPM_ASSERT(in_len <= PSA_MAX_IOVEC); in prepare_in_vecs()111 SPM_ASSERT((s_map_entry->output_buffer != NULL) && (buffer_sz >= length)); in alloc_outout_buffer_in_shared_mem()129 SPM_ASSERT(out_len <= PSA_MAX_IOVEC); in alloc_and_prepare_out_vecs()
51 SPM_ASSERT(0); in get_caller_private_data()
125 SPM_ASSERT((stk & 0x7) == 0); in arch_seal_thread_stack()
207 SPM_ASSERT(SPM_THREAD_CONTEXT); in backend_system_run()
