Lines Matching defs:ec

80 	return &(sp->ec[get_ec_index(sp)]);
122 __dead2 void spmc_sp_synchronous_exit(struct sp_exec_ctx *ec, uint64_t rc)
129 	spm_secure_partition_exit(ec->c_rt_ctx, rc);
398 	if (sp->ec[idx].rt_state != RT_STATE_WAITING) {
400 			idx, sp->ec[idx].rt_model);
408 	sp->ec[idx].rt_state = RT_STATE_RUNNING;
409 	sp->ec[idx].rt_model = RT_MODEL_DIR_REQ;
410 	sp->ec[idx].dir_req_origin_id = src_id;
467 	assert(sp->ec[idx].rt_state == RT_STATE_RUNNING);
470 	if (sp->ec[idx].rt_model != RT_MODEL_DIR_REQ) {
472 			idx, sp->ec[idx].rt_model);
476 	if (sp->ec[idx].dir_req_origin_id != dst_id) {
478 		     dst_id, sp->ec[idx].dir_req_origin_id, idx);
483 	sp->ec[idx].rt_state = RT_STATE_WAITING;
486 	sp->ec[idx].dir_req_origin_id = INV_SP_ID;
493 		spmc_sp_synchronous_exit(&sp->ec[idx], x4);
541 	if (sp->ec[idx].rt_model == RT_MODEL_DIR_REQ) {
546 	assert(sp->ec[idx].rt_state == RT_STATE_RUNNING);
552 	if (sp->ec[idx].rt_model == RT_MODEL_INIT) {
553 		spmc_sp_synchronous_exit(&sp->ec[idx], x4);
559 	sp->ec[idx].rt_state = RT_STATE_WAITING;
562 	if (sp->ec[idx].rt_model == RT_MODEL_INTR) {
610 	if (sp->ec[idx].rt_model == RT_MODEL_INIT) {
612 		spmc_sp_synchronous_exit(&sp->ec[idx], x2);
1351 	rt_state = &((sp->ec[idx]).rt_state);
1352 	rt_model = &((sp->ec[idx]).rt_model);
1780 uint64_t spmc_sp_synchronous_entry(struct sp_exec_ctx *ec)
1784 	assert(ec != NULL);
1787 	cm_set_context(&(ec->cpu_ctx), SECURE);
1798 	rc = spm_secure_partition_enter(&ec->c_rt_ctx);
1813 	struct sp_exec_ctx *ec;
1816 	ec = spmc_get_sp_ec(sp);
1817 	ec->rt_model = RT_MODEL_INIT;
1818 	ec->rt_state = RT_STATE_RUNNING;
1822 	rc = spmc_sp_synchronous_entry(ec);
1830 	ec->rt_state = RT_STATE_WAITING;
2072 	struct sp_exec_ctx *ec;
2089 	ec = spmc_get_sp_ec(sp);
2092 	if (ec->rt_state != RT_STATE_WAITING) {
2094 		      linear_id, RT_STATE_WAITING, ec->rt_state);
2099 	ec->rt_model = RT_MODEL_INTR;
2100 	ec->rt_state = RT_STATE_RUNNING;