include/sel4/syscalls_mcs.h

24  * @param[in] msgInfo The messageinfo structure for the IPC.
27 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
63  * @param[in] msgInfo The messageinfo structure for the IPC.
71 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
83  * @param[in] msgInfo The messageinfo structure for the IPC.
86 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
98  * @param[in] msgInfo The messageinfo structure for the IPC.
114 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply);
152  * @param[in] msgInfo The messageinfo structure for the IPC.
168 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply);
179  * @param[in] msgInfo The messageinfo structure for the IPC.
193 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender);