Lines Matching defs:dest
65 tcb_t *dest;
69 dest = queue.head;
72 assert(dest);
75 queue = tcbEPDequeue(dest, queue);
83 doIPCTransfer(thread, epptr, badge, canGrant, dest);
86 reply_t *reply = REPLY_PTR(thread_state_get_replyObject(dest->tcbState));
88 reply_unlink(reply, dest);
94 reply_push(thread, dest, reply, canDonate);
98 } else if (canDonate && dest->tcbSchedContext == NULL) {
99 schedContext_donate(thread->tcbSchedContext, dest);
103 assert(dest->tcbSchedContext == NULL || refill_sufficient(dest->tcbSchedContext, 0));
104 assert(dest->tcbSchedContext == NULL || refill_ready(dest->tcbSchedContext));
105 setThreadState(dest, ThreadState_Running);
106 possibleSwitchTo(dest);
108 bool_t replyCanGrant = thread_state_ptr_get_blockingIPCCanGrant(&dest->tcbState);;
110 setThreadState(dest, ThreadState_Running);
111 possibleSwitchTo(dest);
115 setupCallerCap(thread, dest, replyCanGrant);