| /seL4-camkes-master/kernel/include/object/ |
| H A D | objecttype.h | 34 bool_t canGrant, bool_t canGrantReply,
38 exception_t performInvocation_Reply(tcb_t *thread, reply_t *reply, bool_t canGrant);
45 bool_t canGrant, bool_t canGrantReply,
49 exception_t performInvocation_Reply(tcb_t *thread, cte_t *slot, bool_t canGrant);
|
| H A D | endpoint.h | 24 bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread,
30 bool_t canGrant, bool_t canGrantReply, tcb_t *thread,
|
| H A D | tcb.h | 120 void setupCallerCap(tcb_t *sender, tcb_t *receiver, bool_t canGrant);
|
| /seL4-camkes-master/kernel/src/object/ |
| H A D | endpoint.c | 27 bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread, endpoint_t *epptr)
30 bool_t canGrant, bool_t canGrantReply, tcb_t *thread, endpoint_t *epptr)
47 &thread->tcbState, canGrant);
83 doIPCTransfer(thread, epptr, badge, canGrant, dest);
93 if (reply != NULL && (canGrant || canGrantReply)) {
114 if (canGrant || canGrantReply) {
203 bool_t canGrant; local
224 canGrant =
231 canGrant, thread);
238 if ((canGrant || canGrantRepl
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 | 779 bool_t canGrant, bool_t canGrantReply,
782 sendIPC(block, call, badge, canGrant, canGrantReply, canDonate, NODE_STATE(ksCurThread), ep);
788 bool_t canGrant, bool_t canGrantReply,
791 sendIPC(block, call, badge, canGrant, canGrantReply, NODE_STATE(ksCurThread), ep);
805 exception_t performInvocation_Reply(tcb_t *thread, reply_t *reply, bool_t canGrant) argument
807 doReplyTransfer(thread, reply, canGrant);
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
368 cteInsert(cap_reply_cap_new(canGrant, false, TCB_REF(sender)),
|
| /seL4-camkes-master/kernel/include/kernel/ |
| H A D | thread.h | 185 word_t badge, bool_t canGrant, tcb_t *receiver,
|
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | thread.c | 190 word_t badge, bool_t canGrant, tcb_t *receiver,
200 if (canGrant) {
189 doNormalTransfer(tcb_t *sender, word_t *sendBuffer, endpoint_t *endpoint, word_t badge, bool_t canGrant, tcb_t *receiver, word_t *receiveBuffer) argument
|