Lines Matching refs:msgInfo
24 * @param[in] msgInfo The messageinfo structure for the IPC.
27 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
62 * @param[in] msgInfo The messageinfo structure for the IPC.
70 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
81 * @param[in] msgInfo The messageinfo structure for the IPC.
84 seL4_Reply(seL4_MessageInfo_t msgInfo);
95 * @param[in] msgInfo The messageinfo structure for the IPC.
98 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo);
109 * @param[in] msgInfo The messageinfo structure for the IPC.
123 seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender);