26 				pnc_context_t *pnc_ctx)  in pncd_init_pnc_ep_state()  argument
31 	assert(pnc_ctx);  in pncd_init_pnc_ep_state()
36 	pnc_ctx->mpidr = read_mpidr();  in pncd_init_pnc_ep_state()
38 	cm_set_context(&pnc_ctx->cpu_ctx, SECURE);  in pncd_init_pnc_ep_state()
62 uint64_t pncd_synchronous_sp_entry(pnc_context_t *pnc_ctx)  in pncd_synchronous_sp_entry()  argument
64 	assert(pnc_ctx != NULL);  in pncd_synchronous_sp_entry()
65 	assert(pnc_ctx->c_rt_ctx == 0U);  in pncd_synchronous_sp_entry()
68 	assert(cm_get_context(SECURE) == &pnc_ctx->cpu_ctx);  in pncd_synchronous_sp_entry()
76 	return pncd_enter_sp(&pnc_ctx->c_rt_ctx);  in pncd_synchronous_sp_entry()
88 void pncd_synchronous_sp_exit(pnc_context_t *pnc_ctx, uint64_t ret)  in pncd_synchronous_sp_exit()  argument
90 	assert(pnc_ctx != NULL);  in pncd_synchronous_sp_exit()
92 	assert(cm_get_context(SECURE) == &pnc_ctx->cpu_ctx);  in pncd_synchronous_sp_exit()
99 	assert(pnc_ctx->c_rt_ctx != 0);  in pncd_synchronous_sp_exit()
100 	pncd_exit_sp(pnc_ctx->c_rt_ctx, ret);  in pncd_synchronous_sp_exit()