| /seL4-master/src/object/ |
| A D | reply.c | 9 void reply_push(tcb_t *tcb_caller, tcb_t *tcb_callee, reply_t *reply, bool_t canDonate) in reply_push()
54 void reply_pop(reply_t *reply, tcb_t *tcb) in reply_pop()
89 void reply_remove(reply_t *reply, tcb_t *tcb) in reply_remove()
118 reply_t *reply = REPLY_PTR(thread_state_get_replyObject(tcb->tcbState)); in reply_remove_tcb() local
|
| A D | endpoint.c | 86 reply_t *reply = REPLY_PTR(thread_state_get_replyObject(dest->tcbState)); in sendIPC() local
343 reply_t *reply = REPLY_PTR(thread_state_get_replyObject(tptr->tcbState)); in cancelIPC() local
398 reply_t *reply = REPLY_PTR(thread_state_get_replyObject(thread->tcbState)); in cancelAllIPC() local
|
| A D | objecttype.c | 138 reply_t *reply = REPLY_PTR(cap_reply_cap_get_capReplyPtr(cap)); in finaliseCap() local
806 exception_t performInvocation_Reply(tcb_t *thread, reply_t *reply, bool_t canGrant) in performInvocation_Reply()
|
| /seL4-master/include/object/ |
| A D | reply.h | 14 static inline void reply_unlink(reply_t *reply, tcb_t *tcb) in reply_unlink()
|
| A D | structures.h | 381 struct reply { struct
389 tcb_t *replyTCB; argument
393 call_stack_t replyPrev; argument
398 call_stack_t replyNext; argument
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls_syscall.h | 86 LIBSEL4_UNUSED seL4_Word reply) in x64_sys_recv()
117 LIBSEL4_UNUSED seL4_Word reply) in x64_sys_send_recv()
154 seL4_Word *in_out_mr3, seL4_Word reply) in x64_sys_nbsend_recv()
|
| A D | syscalls_sysenter.h | 89 …ut_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL4_Word reply) in x64_sys_recv()
122 LIBSEL4_UNUSED seL4_Word reply) in x64_sys_send_recv()
161 seL4_Word *in_out_mr3, seL4_Word reply) in x64_sys_nbsend_recv()
|
| 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()
108 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) in seL4_RecvWithMRs()
144 …BSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) in seL4_NBRecv()
311 seL4_CPtr reply) in seL4_ReplyRecv()
341 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) in seL4_ReplyRecvWithMRs()
393 seL4_Word *sender, seL4_CPtr reply) in seL4_NBSendRecv()
419 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) in seL4_NBSendRecvWithMRs()
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | syscalls.h | 116 …ut_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL4_Word reply) in arm_sys_recv()
148 LIBSEL4_UNUSED seL4_Word reply) in arm_sys_send_recv()
181 seL4_Word *in_out_mr3, seL4_Word reply) in arm_sys_nbsend_recv()
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | syscalls.h | 117 …ut_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL4_Word reply) in arm_sys_recv()
148 LIBSEL4_UNUSED seL4_Word reply) in arm_sys_send_recv()
181 seL4_Word *in_out_mr3, seL4_Word reply) in arm_sys_nbsend_recv()
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 102 seL4_Word *out_mr1, MCS_COND(seL4_Word reply, seL4_Word *out_mr2)) in x86_sys_recv()
162 seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word reply) in x86_sys_nbsend_wait()
277 seL4_Word *out_mr1, MCS_COND(seL4_Word reply, seL4_Word *out_mr2)) in x86_sys_recv()
327 seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word reply) in x86_sys_nbsend_wait()
429 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) in seL4_Recv()
454 seL4_Word *mr0, seL4_CPtr reply) in seL4_RecvWithMRs()
485 …BSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) in seL4_NBRecv()
619 seL4_CPtr reply) in seL4_ReplyRecv()
647 seL4_Word *mr0, seL4_CPtr reply) in seL4_ReplyRecvWithMRs()
688 seL4_Word *sender, seL4_CPtr reply) in seL4_NBSendRecv()
[all …]
|
| /seL4-master/src/fastpath/ |
| A D | fastpath.c | 141 reply_t *reply = thread_state_get_replyObject_np(dest->tcbState); in fastpath_call() local
227 void NORETURN fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply) in fastpath_reply_recv()
|
| /seL4-master/src/arch/x86/ |
| A D | c_traps.c | 145 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply) in c_handle_syscall()
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 85 …ut_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL4_Word reply) in riscv_sys_recv()
128 *in_out_mr3, LIBSEL4_UNUSED seL4_Word reply) in riscv_sys_send_recv()
161 seL4_Word *in_out_mr3, seL4_Word reply) in riscv_sys_nbsend_recv()
257 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) in seL4_Recv()
285 …_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply, in seL4_RecvWithMRs()
323 …BSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) in seL4_NBRecv()
429 seL4_CPtr reply) in seL4_ReplyRecv()
468 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) in seL4_ReplyRecvWithMRs()
522 seL4_Word *sender, seL4_CPtr reply) in seL4_NBSendRecv()
557 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) in seL4_NBSendRecvWithMRs()
|
| /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()
104 …_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply, in seL4_RecvWithMRs()
142 …BSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) in seL4_NBRecv()
231 seL4_CPtr reply) in seL4_ReplyRecv()
269 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) in seL4_ReplyRecvWithMRs()
323 seL4_Word *sender, seL4_CPtr reply) in seL4_NBSendRecv()
357 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) in seL4_NBSendRecvWithMRs()
|
| /seL4-master/include/fastpath/ |
| A D | fastpath.h | 94 static inline void thread_state_ptr_set_replyObject_np(thread_state_t *ts_ptr, word_t reply) in thread_state_ptr_set_replyObject_np()
|
| /seL4-master/src/kernel/ |
| A D | thread.c | 128 void doReplyTransfer(tcb_t *sender, reply_t *reply, bool_t grant) in doReplyTransfer()
|