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

/seL4-test-master/kernel/src/object/
H A Dtcb.c339 cptr_t PURE getExtraCPtr(word_t *bufferPtr, word_t i) argument
344 void setExtraBadge(word_t *bufferPtr, word_t badge, argument
384 exception_t lookupExtraCaps(tcb_t *thread, word_t *bufferPtr, seL4_MessageInfo_t info) argument

Completed in 66 milliseconds