Lines Matching refs:msgInfo
20 LIBSEL4_INLINE_FUNC void seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) in seL4_Send() argument
22 …arm_sys_send(seL4_SysSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), se… in seL4_Send()
25 LIBSEL4_INLINE_FUNC void seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, in seL4_SendWithMRs() argument
28 arm_sys_send(seL4_SysSend, dest, msgInfo.words[0], in seL4_SendWithMRs()
29 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0, in seL4_SendWithMRs()
30 mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr1 : 0, in seL4_SendWithMRs()
31 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0, in seL4_SendWithMRs()
32 mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr3 : 0 in seL4_SendWithMRs()
36 LIBSEL4_INLINE_FUNC void seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) in seL4_NBSend() argument
38 …arm_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), … in seL4_NBSend()
41 LIBSEL4_INLINE_FUNC void seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, in seL4_NBSendWithMRs() argument
44 arm_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], in seL4_NBSendWithMRs()
45 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0, in seL4_NBSendWithMRs()
46 mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr1 : 0, in seL4_NBSendWithMRs()
47 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0, in seL4_NBSendWithMRs()
48 mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr3 : 0 in seL4_NBSendWithMRs()
53 LIBSEL4_INLINE_FUNC void seL4_Reply(seL4_MessageInfo_t msgInfo) in seL4_Reply() argument
55 …arm_sys_reply(seL4_SysReply, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_G… in seL4_Reply()
58 LIBSEL4_INLINE_FUNC void seL4_ReplyWithMRs(seL4_MessageInfo_t msgInfo, in seL4_ReplyWithMRs() argument
61 arm_sys_reply(seL4_SysReply, msgInfo.words[0], in seL4_ReplyWithMRs()
62 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0, in seL4_ReplyWithMRs()
63 mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr1 : 0, in seL4_ReplyWithMRs()
64 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0, in seL4_ReplyWithMRs()
65 mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr3 : 0 in seL4_ReplyWithMRs()
168 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) in seL4_Call() argument
176 …arm_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2… in seL4_Call()
187 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, in seL4_CallWithMRs() argument
197 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_CallWithMRs()
200 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_CallWithMRs()
203 if (mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 2) { in seL4_CallWithMRs()
206 if (mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 3) { in seL4_CallWithMRs()
210 …arm_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2… in seL4_CallWithMRs()
230 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, se… in seL4_ReplyRecv() argument
233 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, se… in seL4_ReplyRecv()
249 …arm_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, … in seL4_ReplyRecv()
267 …EL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, in seL4_ReplyRecvWithMRs() argument
271 …EL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, in seL4_ReplyRecvWithMRs()
283 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_ReplyRecvWithMRs()
286 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_ReplyRecvWithMRs()
289 if (mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 2) { in seL4_ReplyRecvWithMRs()
292 if (mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 3) { in seL4_ReplyRecvWithMRs()
296 …arm_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, … in seL4_ReplyRecvWithMRs()
322 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, … in seL4_NBSendRecv() argument
338 …arm_sys_nbsend_recv(seL4_SysNBSendRecv, dest, src, &badge, msgInfo.words[0], &info.words[0], &msg0… in seL4_NBSendRecv()
355 …eL4_MessageInfo_t seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, in seL4_NBSendRecvWithMRs() argument
366 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_NBSendRecvWithMRs()
369 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_NBSendRecvWithMRs()
372 if (mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 2) { in seL4_NBSendRecvWithMRs()
375 if (mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 3) { in seL4_NBSendRecvWithMRs()
379 …arm_sys_nbsend_recv(seL4_SysNBSendRecv, dest, src, &badge, msgInfo.words[0], &info.words[0], &msg0… in seL4_NBSendRecvWithMRs()
404 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, … in seL4_NBSendWait() argument
420 …arm_sys_nbsend_recv(seL4_SysNBSendWait, 0, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &… in seL4_NBSendWait()
437 …eL4_MessageInfo_t seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, in seL4_NBSendWaitWithMRs() argument
448 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) { in seL4_NBSendWaitWithMRs()
451 if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) { in seL4_NBSendWaitWithMRs()
454 if (mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 2) { in seL4_NBSendWaitWithMRs()
457 if (mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 3) { in seL4_NBSendWaitWithMRs()
461 …arm_sys_nbsend_recv(seL4_SysNBSendRecv, 0, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &… in seL4_NBSendWaitWithMRs()