Searched refs:prev_ptr (Results 1 - 3 of 3) sorted by relevance

/seL4-mcs-10.1.1/src/object/
H A Dreply.c78 word_t prev_ptr = call_stack_get_callStackPtr(reply->replyPrev); local
92 SC_PTR(next_ptr)->scReply = REPLY_PTR(prev_ptr);
93 if (prev_ptr != 0) {
94 REPLY_PTR(prev_ptr)->replyNext = reply->replyNext;
95 assert(call_stack_get_isHead(REPLY_PTR(prev_ptr)->replyNext));
110 word_t prev_ptr = call_stack_get_callStackPtr(reply->replyPrev); local
137 if (prev_ptr) {
138 REPLY_PTR(prev_ptr)->replyNext = reply->replyNext;
150 word_t prev_ptr = call_stack_get_callStackPtr(reply->replyPrev); local
162 if (prev_ptr) {
[all...]
H A Dcnode.c414 word_t prev_ptr, next_ptr; local
428 prev_ptr = mdb_node_get_mdbPrev(mdb);
429 if (prev_ptr)
431 &CTE_PTR(prev_ptr)->cteMDBNode,
460 word_t next_ptr, prev_ptr; local
467 prev_ptr = mdb_node_get_mdbPrev(mdb1);
468 if (prev_ptr)
470 &CTE_PTR(prev_ptr)->cteMDBNode,
483 prev_ptr = mdb_node_get_mdbPrev(mdb2);
484 if (prev_ptr)
[all...]
/seL4-mcs-10.1.1/src/fastpath/
H A Dfastpath.c388 word_t prev_ptr = call_stack_get_callStackPtr(reply_ptr->replyPrev); local
394 sc->scReply = REPLY_PTR(prev_ptr);
395 if (unlikely(REPLY_PTR(prev_ptr) != NULL)) {

Completed in 26 milliseconds