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

/seL4-test-master/kernel/src/object/
H A Dreply.c64 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); local
67 if (likely(next_ptr != 0)) {
76 schedContext_donate(SC_PTR(next_ptr), tcb);
79 SC_PTR(next_ptr)->scReply = REPLY_PTR(prev_ptr);
97 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); local
100 if (likely(next_ptr)) {
107 REPLY_PTR(next_ptr)->replyPrev = call_stack_new(0, false);
126 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); local
129 if (next_ptr) {
131 SC_PTR(next_ptr)
[all...]
H A Dcnode.c448 word_t prev_ptr, next_ptr; local
468 next_ptr = mdb_node_get_mdbNext(mdb);
469 if (next_ptr)
471 &CTE_PTR(next_ptr)->cteMDBNode,
492 word_t next_ptr, prev_ptr; local
505 next_ptr = mdb_node_get_mdbNext(mdb1);
506 if (next_ptr)
508 &CTE_PTR(next_ptr)->cteMDBNode,
521 next_ptr = mdb_node_get_mdbNext(mdb2);
522 if (next_ptr)
[all...]

Completed in 78 milliseconds