Home
last modified time | relevance | path

Searched refs:sendBuf (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/api/
A Dfaults.c88 word_t *sendBuf = lookupIPCBuffer(false, sender); in copyMRsFaultReply() local
89 if (sendBuf) { in copyMRsFaultReply()
92 word_t v = sendBuf[i + 1]; in copyMRsFaultReply()
/seL4-master/include/object/
A Dtcb.h124 word_t copyMRs(tcb_t *sender, word_t *sendBuf, tcb_t *receiver,
/seL4-master/src/object/
A Dtcb.c416 word_t copyMRs(tcb_t *sender, word_t *sendBuf, tcb_t *receiver, in copyMRs() argument
427 if (!recvBuf || !sendBuf) { in copyMRs()
433 recvBuf[i + 1] = sendBuf[i + 1]; in copyMRs()

Completed in 7 milliseconds