| /seL4-master/libsel4/arch_include/x86/sel4/arch/ |
| A D | syscalls.h | 15 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) in seL4_Poll()
20 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender) in seL4_Wait()
24 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) in seL4_Poll()
|
| /seL4-master/src/arch/riscv/api/ |
| A D | faults.c | 20 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) in Arch_handleFaultReply()
31 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault()
|
| /seL4-master/src/arch/arm/api/ |
| A D | faults.c | 14 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) in Arch_handleFaultReply()
33 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault()
|
| /seL4-master/src/api/ |
| A D | faults.c | 74 static inline void copyMRsFaultReply(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length) in copyMRsFaultReply()
99 static inline void copyMRsFault(tcb_t *sender, tcb_t *receiver, MessageID_t id, in copyMRsFault()
114 bool_t handleFaultReply(tcb_t *receiver, tcb_t *sender) in handleFaultReply()
191 word_t setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer) in setMRs_fault()
|
| /seL4-master/src/arch/x86/api/ |
| A D | faults.c | 13 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) in Arch_handleFaultReply()
24 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) in Arch_setMRs_fault()
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 77 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) in seL4_Recv()
268 seL4_Word *sender, in seL4_ReplyRecvWithMRs()
323 seL4_Word *sender, seL4_CPtr reply) in seL4_NBSendRecv()
356 seL4_Word *sender, in seL4_NBSendRecvWithMRs()
405 seL4_Word *sender) in seL4_NBSendWait()
438 seL4_Word *sender, in seL4_NBSendWaitWithMRs()
494 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Wait(seL4_CPtr src, seL4_Word *sender) in seL4_Wait()
517 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_WaitWithMRs(seL4_CPtr src, seL4_Word *sender, in seL4_WaitWithMRs()
550 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBWait(seL4_CPtr src, seL4_Word *sender) in seL4_NBWait()
791 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender) in seL4_Wait()
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 429 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) in seL4_Recv()
453 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender, in seL4_RecvWithMRs()
510 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Wait(seL4_CPtr src, seL4_Word *sender) in seL4_Wait()
527 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_WaitWithMRs(seL4_CPtr src, seL4_Word *sender, in seL4_WaitWithMRs()
547 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBWait(seL4_CPtr src, seL4_Word *sender) in seL4_NBWait()
646 seL4_Word *sender, in seL4_ReplyRecvWithMRs()
688 seL4_Word *sender, seL4_CPtr reply) in seL4_NBSendRecv()
709 seL4_Word *sender, in seL4_NBSendRecvWithMRs()
737 seL4_Word *sender) in seL4_NBSendWait()
755 seL4_Word *sender, in seL4_NBSendWaitWithMRs()
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 80 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) in seL4_Recv()
107 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender, in seL4_RecvWithMRs()
171 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Wait(seL4_CPtr src, seL4_Word *sender) in seL4_Wait()
194 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_WaitWithMRs(seL4_CPtr src, seL4_Word *sender, in seL4_WaitWithMRs()
226 static inline seL4_MessageInfo_t seL4_NBWait(seL4_CPtr src, seL4_Word *sender) in seL4_NBWait()
340 seL4_Word *sender, in seL4_ReplyRecvWithMRs()
393 seL4_Word *sender, seL4_CPtr reply) in seL4_NBSendRecv()
418 seL4_Word *sender, in seL4_NBSendRecvWithMRs()
465 seL4_Word *sender) in seL4_NBSendWait()
495 seL4_Word *sender, in seL4_NBSendWaitWithMRs()
[all …]
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 257 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) in seL4_Recv()
371 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender) in seL4_Wait()
377 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) in seL4_Poll()
467 seL4_Word *sender, in seL4_ReplyRecvWithMRs()
522 seL4_Word *sender, seL4_CPtr reply) in seL4_NBSendRecv()
556 seL4_Word *sender, in seL4_NBSendRecvWithMRs()
606 seL4_Word *sender) in seL4_NBSendWait()
639 seL4_Word *sender, in seL4_NBSendWaitWithMRs()
695 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Wait(seL4_CPtr src, seL4_Word *sender) in seL4_Wait()
718 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_WaitWithMRs(seL4_CPtr src, seL4_Word *sender, in seL4_WaitWithMRs()
[all …]
|
| /seL4-master/src/kernel/ |
| A D | thread.c | 111 void doIPCTransfer(tcb_t *sender, endpoint_t *endpoint, word_t badge, in doIPCTransfer()
128 void doReplyTransfer(tcb_t *sender, reply_t *reply, bool_t grant) in doReplyTransfer()
198 void doNormalTransfer(tcb_t *sender, word_t *sendBuffer, endpoint_t *endpoint, in doNormalTransfer()
227 void doFaultTransfer(word_t badge, tcb_t *sender, tcb_t *receiver, in doFaultTransfer()
|
| /seL4-master/src/object/ |
| A D | endpoint.c | 204 tcb_t *sender; in receiveIPC() local
|
| A D | tcb.c | 351 void setupCallerCap(tcb_t *sender, tcb_t *receiver, bool_t canGrant) in setupCallerCap()
416 word_t copyMRs(tcb_t *sender, word_t *sendBuf, tcb_t *receiver, in copyMRs()
|