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

/seL4-test-master/kernel/src/object/
H A Dreply.c65 word_t prev_ptr = call_stack_get_callStackPtr(reply->replyPrev); local
98 word_t prev_ptr = call_stack_get_callStackPtr(reply->replyPrev); local
127 word_t prev_ptr = call_stack_get_callStackPtr(reply->replyPrev); local
[all...]
H A Dcnode.c448 word_t prev_ptr, next_ptr; local
492 word_t next_ptr, prev_ptr; local
[all...]
/seL4-test-master/kernel/src/fastpath/
H A Dfastpath.c456 word_t prev_ptr = call_stack_get_callStackPtr(reply_ptr->replyPrev); local

Completed in 33 milliseconds