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 79 milliseconds