Lines Matching defs:dest
30 tcb_t *dest;
64 dest = TCB_PTR(endpoint_ptr_get_epQueue_head(ep_ptr));
73 if (unlikely(dest->tcbArch.tcbContext.breakpointState.single_step_enabled)) {
79 newVTable = TCB_PTR_CTE_PTR(dest, tcbVTable)->cap;
115 if (unlikely(dest->tcbPriority < NODE_STATE(ksCurThread->tcbPriority) &&
116 !isHighestPrio(dom, dest->tcbPriority))) {
134 if (unlikely(dest->tcbDomain != ksCurDomain && maxDom)) {
139 if (unlikely(dest->tcbSchedContext != NULL)) {
143 reply_t *reply = thread_state_get_replyObject_np(dest->tcbState);
151 if (unlikely(NODE_STATE(ksCurThread)->tcbAffinity != dest->tcbAffinity)) {
167 endpoint_ptr_set_epQueue_head_np(ep_ptr, TCB_REF(dest->tcbEPNext));
168 if (unlikely(dest->tcbEPNext)) {
169 dest->tcbEPNext->tcbEPPrev = NULL;
176 /* Unlink dest <-> reply, link src (cur thread) <-> reply */
180 thread_state_ptr_set_replyObject_np(&dest->tcbState, 0);
185 sc->scTcb = dest;
186 dest->tcbSchedContext = sc;
200 /* Get dest caller slot */
201 cte_t *callerSlot = TCB_PTR_CTE_PTR(dest, tcbCaller);
204 word_t replyCanGrant = thread_state_ptr_get_blockingIPCCanGrant(&dest->tcbState);;
212 fastpath_copy_mrs(length, NODE_STATE(ksCurThread), dest);
215 thread_state_ptr_set_tsType_np(&dest->tcbState,
217 switchToThread_fp(dest, cap_pd, stored_hw_asid);