Home
last modified time | relevance | path

Searched defs:next_ptr (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/object/
A Dreply.c61 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); in reply_pop() local
95 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); in reply_remove() local
119 word_t next_ptr = call_stack_get_callStackPtr(reply->replyNext); in reply_remove_tcb() local
A Dcnode.c448 word_t prev_ptr, next_ptr; in cteMove() local
492 word_t next_ptr, prev_ptr; in cteSwap() local

Completed in 3 milliseconds