Searched defs:canGrant (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/kernel/src/object/ |
| H A D | endpoint.c | 203 bool_t canGrant; local
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
[all...] |
| H A D | objecttype.c | 805 exception_t performInvocation_Reply(tcb_t *thread, reply_t *reply, bool_t canGrant) argument
811 exception_t performInvocation_Reply(tcb_t *thread, cte_t *slot, bool_t canGrant) argument
813 doReplyTransfer(NODE_STATE(ksCurThread), thread, slot, canGrant); local
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
787 performInvocation_Endpoint(endpoint_t *ep, word_t badge, bool_t canGrant, bool_t canGrantReply, bool_t block, bool_t call) argument
|
| H A D | tcb.c | 351 void setupCallerCap(tcb_t *sender, tcb_t *receiver, bool_t canGrant) argument
|
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | thread.c | 189 doNormalTransfer(tcb_t *sender, word_t *sendBuffer, endpoint_t *endpoint, word_t badge, bool_t canGrant, tcb_t *receiver, word_t *receiveBuffer) argument
|
Completed in 166 milliseconds