Lines Matching defs:dest
29 tcb_t *dest;
64 dest = TCB_PTR(endpoint_ptr_get_epQueue_head(ep_ptr));
73 if (dest->tcbArch.tcbContext.breakpointState.single_step_enabled) {
79 newVTable = TCB_PTR_CTE_PTR(dest, tcbVTable)->cap;
111 if (likely(dest->tcbPriority < NODE_STATE(ksCurThread->tcbPriority)) &&
112 !isHighestPrio(dom, dest->tcbPriority)) {
129 if (unlikely(dest->tcbDomain != ksCurDomain && maxDom)) {
135 if (unlikely(NODE_STATE(ksCurThread)->tcbAffinity != dest->tcbAffinity)) {
151 endpoint_ptr_set_epQueue_head_np(ep_ptr, TCB_REF(dest->tcbEPNext));
152 if (unlikely(dest->tcbEPNext)) {
153 dest->tcbEPNext->tcbEPPrev = NULL;
167 /* Get dest caller slot */
168 callerSlot = TCB_PTR_CTE_PTR(dest, tcbCaller);
176 fastpath_copy_mrs (length, NODE_STATE(ksCurThread), dest);
179 thread_state_ptr_set_tsType_np(&dest->tcbState,
181 switchToThread_fp(dest, cap_pd, stored_hw_asid);