Lines Matching refs:msgInfo
194 LIBSEL4_INLINE_FUNC void seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) in seL4_Send() argument
196 riscv_sys_send(seL4_SysSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), in seL4_Send()
200 LIBSEL4_INLINE_FUNC void seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, in seL4_SendWithMRs() argument
203 riscv_sys_send(seL4_SysSend, dest, msgInfo.words[0], in seL4_SendWithMRs()
204 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0, in seL4_SendWithMRs()
205 mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr1 : 0, in seL4_SendWithMRs()
206 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0, in seL4_SendWithMRs()
207 mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr3 : 0 in seL4_SendWithMRs()
212 LIBSEL4_INLINE_FUNC void seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) in seL4_NBSend() argument
214 riscv_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), in seL4_NBSend()
219 LIBSEL4_INLINE_FUNC void seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, in seL4_NBSendWithMRs() argument
222 riscv_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], in seL4_NBSendWithMRs()
223 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0, in seL4_NBSendWithMRs()
224 mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr1 : 0, in seL4_NBSendWithMRs()
225 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0, in seL4_NBSendWithMRs()
226 mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr3 : 0 in seL4_NBSendWithMRs()
232 LIBSEL4_INLINE_FUNC void seL4_Reply(seL4_MessageInfo_t msgInfo) in seL4_Reply() argument
234 riscv_sys_reply(seL4_SysReply, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), in seL4_Reply()
238 LIBSEL4_INLINE_FUNC void seL4_ReplyWithMRs(seL4_MessageInfo_t msgInfo, in seL4_ReplyWithMRs() argument
241 riscv_sys_reply(seL4_SysReply, msgInfo.words[0], in seL4_ReplyWithMRs()
242 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0, in seL4_ReplyWithMRs()
243 mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr1 : 0, in seL4_ReplyWithMRs()
244 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0, in seL4_ReplyWithMRs()
245 mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr3 : 0 in seL4_ReplyWithMRs()
350 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) in seL4_Call() argument
358 riscv_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, in seL4_Call()
386 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, in seL4_CallWithMRs() argument
395 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_CallWithMRs()
398 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_CallWithMRs()
401 if (mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 2) { in seL4_CallWithMRs()
404 if (mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 3) { in seL4_CallWithMRs()
408 riscv_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, in seL4_CallWithMRs()
428 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, se… in seL4_ReplyRecv() argument
431 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, se… in seL4_ReplyRecv()
447 …riscv_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1… in seL4_ReplyRecv()
466 …EL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, in seL4_ReplyRecvWithMRs() argument
470 …EL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, in seL4_ReplyRecvWithMRs()
482 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_ReplyRecvWithMRs()
485 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_ReplyRecvWithMRs()
488 if (mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 2) { in seL4_ReplyRecvWithMRs()
491 if (mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 3) { in seL4_ReplyRecvWithMRs()
495 …riscv_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1… in seL4_ReplyRecvWithMRs()
521 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, … in seL4_NBSendRecv() argument
537 …riscv_sys_nbsend_recv(seL4_SysNBSendRecv, dest, src, &badge, msgInfo.words[0], &info.words[0], &ms… in seL4_NBSendRecv()
555 …eL4_MessageInfo_t seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, in seL4_NBSendRecvWithMRs() argument
566 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_NBSendRecvWithMRs()
569 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_NBSendRecvWithMRs()
572 if (mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 2) { in seL4_NBSendRecvWithMRs()
575 if (mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 3) { in seL4_NBSendRecvWithMRs()
579 …riscv_sys_nbsend_recv(seL4_SysNBSendRecv, dest, src, &badge, msgInfo.words[0], &info.words[0], &ms… in seL4_NBSendRecvWithMRs()
605 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, … in seL4_NBSendWait() argument
621 …riscv_sys_nbsend_recv(seL4_SysNBSendWait, 0, src, &badge, msgInfo.words[0], &info.words[0], &msg0,… in seL4_NBSendWait()
638 …eL4_MessageInfo_t seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, in seL4_NBSendWaitWithMRs() argument
649 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_NBSendWaitWithMRs()
652 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_NBSendWaitWithMRs()
655 if (mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 2) { in seL4_NBSendWaitWithMRs()
658 if (mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 3) { in seL4_NBSendWaitWithMRs()
662 …riscv_sys_nbsend_recv(seL4_SysNBSendRecv, 0, src, &badge, msgInfo.words[0], &info.words[0], &msg0,… in seL4_NBSendWaitWithMRs()