Searched refs:canDonate (Results 1 – 7 of 7) sorted by relevance
| /seL4-master/src/object/ |
| A D | endpoint.c | 27 … bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread, endpoint_t *epptr) in sendIPC() argument
94 reply_push(thread, dest, reply, canDonate); in sendIPC()
98 } else if (canDonate && dest->tcbSchedContext == NULL) { in sendIPC()
255 bool_t canDonate = sender->tcbSchedContext != NULL in receiveIPC() local
257 reply_push(sender, thread, replyPtr, canDonate); in receiveIPC()
|
| A D | reply.c | 9 void reply_push(tcb_t *tcb_caller, tcb_t *tcb_callee, reply_t *reply, bool_t canDonate) in reply_push() argument
33 if (sc_donated != NULL && tcb_callee->tcbSchedContext == NULL && canDonate) { in reply_push()
|
| A D | objecttype.c | 622 bool_t canDonate, bool_t firstPhase, word_t *buffer) in decodeInvocation() argument
663 cap_endpoint_cap_get_capCanGrantReply(cap), block, call, canDonate); in decodeInvocation()
781 bool_t block, bool_t call, bool_t canDonate) in performInvocation_Endpoint() argument
783 sendIPC(block, call, badge, canGrant, canGrantReply, canDonate, NODE_STATE(ksCurThread), ep); in performInvocation_Endpoint()
|
| /seL4-master/include/object/ |
| A D | objecttype.h | 33 bool_t canDonate, bool_t firstPhase, word_t *buffer);
36 bool_t block, bool_t call, bool_t canDonate);
|
| A D | reply.h | 26 void reply_push(tcb_t *tcb_caller, tcb_t *tcb_callee, reply_t *reply, bool_t canDonate);
|
| A D | endpoint.h | 24 bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread,
|
| /seL4-master/src/api/ |
| A D | syscall.c | 362 static exception_t handleInvocation(bool_t isCall, bool_t isBlocking, bool_t canDonate, bool_t firs… in handleInvocation() argument
416 canDonate, firstPhase, buffer); in handleInvocation()
598 #define handleInvocation(isCall, isBlocking, canDonate, firstPhase, cptr) handleInvocation(isCall, … argument
|
Completed in 13 milliseconds