Searched refs:canDonate (Results 1 - 7 of 7) sorted by relevance
/seL4-test-master/kernel/include/object/ |
H A D | reply.h | 26 void reply_push(tcb_t *tcb_caller, tcb_t *tcb_callee, reply_t *reply, bool_t canDonate);
|
H A D | objecttype.h | 32 bool_t canDonate, bool_t firstPhase, word_t *buffer); 35 bool_t block, bool_t call, bool_t canDonate);
|
H A D | endpoint.h | 24 bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread,
|
/seL4-test-master/kernel/src/object/ |
H A D | reply.c | 9 void reply_push(tcb_t *tcb_caller, tcb_t *tcb_callee, reply_t *reply, bool_t canDonate) argument 33 if (sc_donated != NULL && tcb_callee->tcbSchedContext == NULL && canDonate) {
|
H A D | endpoint.c | 27 bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread, endpoint_t *epptr) 94 reply_push(thread, dest, reply, canDonate); 98 } else if (canDonate && dest->tcbSchedContext == NULL) { 239 bool_t canDonate = sender->tcbSchedContext != NULL local 241 reply_push(sender, thread, replyPtr, canDonate); 26 sendIPC(bool_t blocking, bool_t do_call, word_t badge, bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread, endpoint_t *epptr) argument
|
H A D | objecttype.c | 618 bool_t canDonate, bool_t firstPhase, word_t *buffer) 659 cap_endpoint_cap_get_capCanGrantReply(cap), block, call, canDonate); 780 bool_t block, bool_t call, bool_t canDonate) 782 sendIPC(block, call, badge, canGrant, canGrantReply, canDonate, NODE_STATE(ksCurThread), ep); 615 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, bool_t firstPhase, word_t *buffer) argument 778 performInvocation_Endpoint(endpoint_t *ep, word_t badge, bool_t canGrant, bool_t canGrantReply, bool_t block, bool_t call, bool_t canDonate) argument
|
/seL4-test-master/kernel/src/api/ |
H A D | syscall.c | 366 static exception_t handleInvocation(bool_t isCall, bool_t isBlocking, bool_t canDonate, bool_t firstPhase, cptr_t cptr) argument 420 canDonate, firstPhase, buffer); 604 #define handleInvocation(isCall, isBlocking, canDonate, firstPhase, cptr) handleInvocation(isCall, isBlocking)
|
Completed in 48 milliseconds