| /seL4-test-master/kernel/libsel4/arch_include/x86/sel4/arch/ |
| H A D | syscalls.h | 15 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
20 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
24 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
|
| /seL4-test-master/kernel/src/arch/riscv/api/ |
| H A D | faults.c | 20 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) argument
31 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) argument
|
| /seL4-test-master/kernel/src/arch/arm/api/ |
| H A D | faults.c | 14 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) argument
33 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) argument
[all...] |
| /seL4-test-master/kernel/src/arch/x86/api/ |
| H A D | faults.c | 13 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) argument
24 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) argument
|
| /seL4-test-master/kernel/src/api/ |
| H A D | faults.c | 74 static inline void copyMRsFaultReply(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length) argument
99 static inline void copyMRsFault(tcb_t *sender, tcb_t *receiver, MessageID_t id, argument
114 bool_t handleFaultReply(tcb_t *receiver, tcb_t *sender) argument
191 setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer) argument
[all...] |
| /seL4-test-master/kernel/src/object/ |
| H A D | endpoint.c | 201 tcb_t *sender; local
[all...] |
| H A D | tcb.c | 351 void setupCallerCap(tcb_t *sender, tcb_t *receiver, bool_t canGrant) argument
416 word_t copyMRs(tcb_t *sender, word_t *sendBuf, tcb_t *receiver, argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | binding.c | 33 static int sender(seL4_Word ep, seL4_Word id, seL4_Word runs, seL4_Word arg3) function
|
| H A D | ipc.c | 714 static void sender(seL4_CPtr endpoint, volatile int *state) function
|
| /seL4-test-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 77 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
104 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply, argument
142 seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
230 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply) argument
267 seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
322 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
355 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
404 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender) argument
437 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
494 seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
517 seL4_WaitWithMRs(seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
550 seL4_NBWait(seL4_CPtr src, seL4_Word *sender) argument
791 seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
797 seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
[all...] |
| /seL4-test-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 80 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
107 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender, argument
144 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
171 seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
194 seL4_WaitWithMRs(seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
226 seL4_NBWait(seL4_CPtr src, seL4_Word *sender) argument
310 seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply) argument
339 seL4_ReplyRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
392 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
417 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
464 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender) argument
494 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
556 seL4_VMEnter(seL4_Word *sender) argument
[all...] |
| /seL4-test-master/kernel/src/kernel/ |
| H A D | thread.c | 107 void doIPCTransfer(tcb_t *sender, endpoint_t *endpoint, word_t badge, argument
124 void doReplyTransfer(tcb_t *sender, reply_t *reply, bool_t grant) argument
189 void doNormalTransfer(tcb_t *sender, word_ argument
221 doFaultTransfer(word_t badge, tcb_t *sender, tcb_t *receiver, word_t *receiverIPCBuffer) argument
[all...] |
| /seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 429 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
453 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender, argument
485 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
510 seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
527 seL4_WaitWithMRs(seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0) argument
547 seL4_NBWait(seL4_CPtr src, seL4_Word *sender) argument
618 seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply) argument
645 seL4_ReplyRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_CPtr reply) argument
687 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender, seL4_CPtr reply) argument
708 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender, seL4_Word *mr0, seL4_CPtr reply) argument
736 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender) argument
754 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender, seL4_Word *mr0) argument
787 seL4_VMEnter(seL4_Word *sender) argument
[all...] |
| /seL4-test-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 257 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
285 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply, argument
323 seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
371 seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
377 seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
428 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply) argument
466 seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
521 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
555 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
605 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender) argument
638 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
695 seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
718 seL4_WaitWithMRs(seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
751 seL4_NBWait(seL4_CPtr src, seL4_Word *sender) argument
[all...] |