Searched refs:replyTCB (Results 1 – 7 of 7) sorted by relevance
17 assert(reply->replyTCB == tcb); in reply_unlink()21 reply->replyTCB = NULL; in reply_unlink()
389 tcb_t *replyTCB; member
15 assert(reply->replyTCB == NULL); in reply_push()29 reply->replyTCB = tcb_caller; in reply_push()57 assert(reply->replyTCB == tcb); in reply_pop()91 assert(reply->replyTCB == tcb); in reply_remove()
147 if (unlikely(replyPtr->replyTCB != NULL && replyPtr->replyTCB != thread)) { in receiveIPC()149 cancelIPC(replyPtr->replyTCB); in receiveIPC()183 replyPtr->replyTCB = thread; in receiveIPC()
139 if (reply && reply->replyTCB) { in finaliseCap()140 switch (thread_state_get_tsType(reply->replyTCB->tcbState)) { in finaliseCap()142 reply_remove(reply, reply->replyTCB); in finaliseCap()145 cancelIPC(reply->replyTCB); in finaliseCap()
180 reply->replyTCB = NODE_STATE(ksCurThread); in fastpath_call()297 if (unlikely(reply_ptr->replyTCB == NULL || in fastpath_reply_recv()304 caller = reply_ptr->replyTCB; in fastpath_reply_recv()416 reply_ptr->replyTCB = NODE_STATE(ksCurThread); in fastpath_reply_recv()
134 if (reply->replyTCB == NULL || in doReplyTransfer()135 thread_state_get_tsType(reply->replyTCB->tcbState) != ThreadState_BlockedOnReply) { in doReplyTransfer()140 tcb_t *receiver = reply->replyTCB; in doReplyTransfer()143 assert(reply->replyTCB == NULL); in doReplyTransfer()
Completed in 10 milliseconds