Searched refs:canDonate (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/kernel/include/object/
H A Dreply.h26 void reply_push(tcb_t *tcb_caller, tcb_t *tcb_callee, reply_t *reply, bool_t canDonate);
H A Dobjecttype.h32 bool_t canDonate, bool_t firstPhase, word_t *buffer);
35 bool_t block, bool_t call, bool_t canDonate);
H A Dendpoint.h24 bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread,
/seL4-test-master/kernel/src/object/
H A Dreply.c9 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 Dendpoint.c27 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 Dobjecttype.c618 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 Dsyscall.c366 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