Home
last modified time | relevance | path

Searched refs:ctx_ctrls (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-m-3.6.0/secure_fw/spm/core/
Dbackend_ipc.c449 AAPCS_DUAL_U32_T ctx_ctrls; in ipc_schedule() local
461 AAPCS_DUAL_U32_SET(ctx_ctrls, (uint32_t)p_curr_ctx, (uint32_t)p_curr_ctx); in ipc_schedule()
487 AAPCS_DUAL_U32_SET_A1(ctx_ctrls, (uint32_t)pth_next->p_context_ctrl); in ipc_schedule()
498 return AAPCS_DUAL_U32_AS_U64(ctx_ctrls); in ipc_schedule()