Searched defs:canGrant (Results 1 - 3 of 3) sorted by relevance
/seL4-mcs-10.1.1/src/object/ |
H A D | endpoint.c | 164 bool_t canGrant; local 29 sendIPC(bool_t blocking, bool_t do_call, word_t badge, bool_t canGrant, bool_t canDonate, tcb_t *thread, endpoint_t *epptr) argument
|
H A D | objecttype.c | 659 performInvocation_Endpoint(endpoint_t *ep, word_t badge, bool_t canGrant, bool_t block, bool_t call, bool_t canDonate) argument
|
/seL4-mcs-10.1.1/src/kernel/ |
H A D | thread.c | 179 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 78 milliseconds