Searched refs:canDonate (Results 1 - 7 of 7) sorted by relevance
| /seL4-mcs-10.1.1/include/object/ |
| H A D | reply.h | 32 void reply_push(tcb_t *tcb_caller, tcb_t *tcb_callee, reply_t *reply, bool_t canDonate);
|
| H A D | endpoint.h | 29 bool_t canGrant, bool_t canDonate, tcb_t *thread, endpoint_t *epptr);
|
| H A D | objecttype.h | 36 bool_t canDonate, word_t *buffer);
39 bool_t call, bool_t canDonate);
|
| /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
25 canDonate = false;
44 if (sc_donated != NULL && canDonate) {
|
| H A D | endpoint.c | 30 bool_t canGrant, bool_t canDonate, tcb_t *thread, endpoint_t *epptr)
90 reply_push(thread, dest, reply, canDonate);
92 } else if (canDonate && dest->tcbSchedContext == NULL) {
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 | 572 bool_t canDonate, word_t *buffer)
605 cap_endpoint_cap_get_capCanGrant(cap), block, call, canDonate);
661 bool_t call, bool_t canDonate)
663 sendIPC(block, call, badge, canGrant, canDonate, NODE_STATE(ksCurThread), ep);
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
321 canDonate, buffer);
|
Completed in 87 milliseconds