Home
last modified time | relevance | path

Searched refs:replyNext (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/object/
A Dreply.c18 assert(call_stack_get_callStackPtr(reply->replyNext) == 0); in reply_push()
45 reply->replyNext = call_stack_new(SC_REF(sc_donated), true); in reply_push()
61 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); in reply_pop()
65 assert(call_stack_get_isHead(reply->replyNext)); in reply_pop()
69 REPLY_PTR(prev_ptr)->replyNext = reply->replyNext; in reply_pop()
84 reply->replyNext = call_stack_new(0, false); in reply_pop()
95 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); in reply_remove()
110 reply->replyNext = call_stack_new(0, false); in reply_remove()
123 if (call_stack_get_isHead(reply->replyNext)) { in reply_remove_tcb()
131 REPLY_PTR(prev_ptr)->replyNext = call_stack_new(0, false); in reply_remove_tcb()
[all …]
A Dobjecttype.c224 assert(call_stack_get_isHead(sc->scReply->replyNext)); in finaliseCap()
225 sc->scReply->replyNext = call_stack_new(0, false); in finaliseCap()
A Dschedcontext.c147 sc->scReply->replyNext = call_stack_new(0, false); in invokeSchedContext_Unbind()
/seL4-master/src/fastpath/
A Dfastpath.c190 old_caller->replyNext = call_stack_new(REPLY_REF(reply), false); in fastpath_call()
192 reply->replyNext = call_stack_new(SC_REF(sc), true); in fastpath_call()
298 call_stack_get_isHead(reply_ptr->replyNext) == 0 || in fastpath_reply_recv()
299 …SC_PTR(call_stack_get_callStackPtr(reply_ptr->replyNext)) != NODE_STATE(ksCurThread)->tcbSchedCont… in fastpath_reply_recv()
460 sc->scReply->replyNext = reply_ptr->replyNext; in fastpath_reply_recv()
465 reply_ptr->replyNext.words[0] = 0; in fastpath_reply_recv()
/seL4-master/include/object/
A Dstructures.h398 call_stack_t replyNext; member

Completed in 8 milliseconds