Searched refs:next_ptr (Results 1 - 2 of 2) sorted by relevance

/seL4-mcs-10.1.1/src/object/
H A Dreply.c77 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); local
80 if (likely(next_ptr != 0)) {
89 schedContext_donate(SC_PTR(next_ptr), tcb);
92 SC_PTR(next_ptr)->scReply = REPLY_PTR(prev_ptr);
109 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); local
112 if (likely(next_ptr)) {
119 REPLY_PTR(next_ptr)->replyPrev = reply->replyPrev;
120 if (REPLY_PTR(next_ptr)->replyTCB) {
121 reply_unlink(REPLY_PTR(next_ptr));
128 * tcb of the next_ptr i
149 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); local
[all...]
H A Dcnode.c414 word_t prev_ptr, next_ptr; local
434 next_ptr = mdb_node_get_mdbNext(mdb);
435 if (next_ptr)
437 &CTE_PTR(next_ptr)->cteMDBNode,
460 word_t next_ptr, prev_ptr; local
473 next_ptr = mdb_node_get_mdbNext(mdb1);
474 if (next_ptr)
476 &CTE_PTR(next_ptr)->cteMDBNode,
489 next_ptr = mdb_node_get_mdbNext(mdb2);
490 if (next_ptr)
[all...]

Completed in 78 milliseconds