Searched defs:canDonate (Results 1 - 4 of 4) sorted by relevance
/seL4-mcs-10.1.1/src/object/ |
H A D | reply.c | 15 reply_push(tcb_t *tcb_caller, tcb_t *tcb_callee, reply_t *reply, bool_t canDonate) argument
|
H A D | endpoint.c | 29 sendIPC(bool_t blocking, bool_t do_call, word_t badge, bool_t canGrant, bool_t canDonate, tcb_t *thread, endpoint_t *epptr) argument
|
H A D | objecttype.c | 569 decodeInvocation(word_t invLabel, word_t length, cptr_t capIndex, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t block, bool_t call, bool_t canDonate, word_t *buffer) argument 659 performInvocation_Endpoint(endpoint_t *ep, word_t badge, bool_t canGrant, bool_t block, bool_t call, bool_t canDonate) argument
|
/seL4-mcs-10.1.1/src/api/ |
H A D | syscall.c | 274 handleInvocation(bool_t isCall, bool_t isBlocking, bool_t canDonate, cptr_t cptr) argument
|
Completed in 26 milliseconds