Searched refs:receiveBuffer (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/kernel/src/kernel/ |
| H A D | thread.c | 27 word_t *receiveBuffer);
110 void *receiveBuffer, *sendBuffer; local
112 receiveBuffer = lookupIPCBuffer(true, receiver);
117 receiver, receiveBuffer);
119 doFaultTransfer(badge, sender, receiver, receiveBuffer);
191 word_t *receiveBuffer)
211 msgTransferred = copyMRs(sender, sendBuffer, receiver, receiveBuffer,
214 tag = transferCaps(tag, caps, endpoint, receiver, receiveBuffer);
237 word_t *receiveBuffer)
245 if (likely(!caps.excaprefs[0] || !receiveBuffer)) {
189 doNormalTransfer(tcb_t *sender, word_t *sendBuffer, endpoint_t *endpoint, word_t badge, bool_t canGrant, tcb_t *receiver, word_t *receiveBuffer) argument
235 transferCaps(seL4_MessageInfo_t info, extra_caps_t caps, endpoint_t *endpoint, tcb_t *receiver, word_t *receiveBuffer) argument
[all...] |
| /seL4-test-master/kernel/include/kernel/ |
| H A D | thread.h | 186 word_t *receiveBuffer);
|
Completed in 28 milliseconds