64 	assert(handle == cm_get_context(SECURE));  in tspd_handle_sp_preemption()
68 	assert(ns_cpu_context);  in tspd_handle_sp_preemption()
154 		assert(handle == cm_get_context(NON_SECURE));  in tspd_sel1_interrupt_handler()
161 		assert(handle == cm_get_context(SECURE));  in tspd_sel1_interrupt_handler()
171 	assert(get_interrupt_src_ss(flags) == NON_SECURE);  in tspd_sel1_interrupt_handler()
174 	assert(handle == cm_get_context(NON_SECURE));  in tspd_sel1_interrupt_handler()
180 	assert(&tsp_ctx->cpu_ctx == cm_get_context(SECURE));  in tspd_sel1_interrupt_handler()
230 	assert(get_interrupt_src_ss(flags) == SECURE);  in tspd_ns_interrupt_handler()
318 	assert(tsp_entry_point);  in tspd_init()
327 	assert(rc != 0);  in tspd_init()
384 		assert(handle == cm_get_context(SECURE));  in tspd_smc_handler()
409 		assert(ns_cpu_context);  in tspd_smc_handler()
446 		assert(tsp_vectors == NULL);  in tspd_smc_handler()
496 		assert(cm_get_context(SECURE) == &tsp_ctx->cpu_ctx);  in tspd_smc_handler()
501 		assert(next_image_info);  in tspd_smc_handler()
502 		assert(NON_SECURE ==  in tspd_smc_handler()
585 			assert(handle == cm_get_context(NON_SECURE));  in tspd_smc_handler()
608 			assert(&tsp_ctx->cpu_ctx == cm_get_context(SECURE));  in tspd_smc_handler()
654 			assert(handle == cm_get_context(SECURE));  in tspd_smc_handler()
659 			assert(ns_cpu_context);  in tspd_smc_handler()
678 		assert(0); /* Unreachable */  in tspd_smc_handler()
687 			assert(0);  in tspd_smc_handler()
691 		assert(handle == cm_get_context(NON_SECURE));  in tspd_smc_handler()
719 			assert(0);  in tspd_smc_handler()
728 		assert(handle == cm_get_context(NON_SECURE));  in tspd_smc_handler()