Searched defs: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
97 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); local
126 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); local
[all...]
H A Dcnode.c448 word_t prev_ptr, next_ptr; local
492 word_t next_ptr, prev_ptr; local
[all...]

Completed in 38 milliseconds