Home
last modified time | relevance | path

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

/seL4-master/include/object/
A Dreply.h17 assert(reply->replyTCB == tcb); in reply_unlink()
21 reply->replyTCB = NULL; in reply_unlink()
A Dstructures.h389 tcb_t *replyTCB; member
/seL4-master/src/object/
A Dreply.c15 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()
A Dendpoint.c147 if (unlikely(replyPtr->replyTCB != NULL && replyPtr->replyTCB != thread)) { in receiveIPC()
149 cancelIPC(replyPtr->replyTCB); in receiveIPC()
183 replyPtr->replyTCB = thread; in receiveIPC()
A Dobjecttype.c139 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()
/seL4-master/src/fastpath/
A Dfastpath.c180 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()
/seL4-master/src/kernel/
A Dthread.c134 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