Searched refs:doIPCTransfer (Results 1 - 3 of 3) sorted by relevance
| /seL4-test-master/kernel/src/object/ |
| H A D | endpoint.c | 83 doIPCTransfer(thread, epptr, badge, canGrant, dest);
230 doIPCTransfer(sender, epptr, badge,
|
| /seL4-test-master/kernel/include/kernel/ |
| H A D | thread.h | 176 void doIPCTransfer(tcb_t *sender, endpoint_t *endpoint,
|
| /seL4-test-master/kernel/src/kernel/ |
| H A D | thread.c | 107 void doIPCTransfer(tcb_t *sender, endpoint_t *endpoint, word_t badge, function
147 doIPCTransfer(sender, NULL, 0, grant, receiver);
|
Completed in 27 milliseconds