sel4/arch/syscalls.h

85     seL4_Word msg1;
89     arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
92     seL4_SetMR(1, msg1);
114     seL4_Word msg1 = 0;
118     arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
125         *mr1 = msg1;
150     seL4_Word msg1;
154     arm_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
157     seL4_SetMR(1, msg1);
172     seL4_Word msg1 = seL4_GetMR(1);
176     arm_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
180     seL4_SetMR(1, msg1);
192     seL4_Word msg1 = 0;
201         msg1 = *mr1;
210     arm_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
217         *mr1 = msg1;
239     seL4_Word msg1;
245     msg1 = seL4_GetMR(1);
249     arm_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
254     seL4_SetMR(1, msg1);
279     seL4_Word msg1 = 0;
287         msg1 = *mr1;
296     arm_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
304         *mr1 = msg1;
328     seL4_Word msg1;
334     msg1 = seL4_GetMR(1);
338     arm_sys_nbsend_recv(seL4_SysNBSendRecv, dest, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
343     seL4_SetMR(1, msg1);
362     seL4_Word msg1 = 0;
370         msg1 = *mr1;
379     arm_sys_nbsend_recv(seL4_SysNBSendRecv, dest, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
387         *mr1 = msg1;
410     seL4_Word msg1;
416     msg1 = seL4_GetMR(1);
420     arm_sys_nbsend_recv(seL4_SysNBSendWait, 0, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
425     seL4_SetMR(1, msg1);
444     seL4_Word msg1 = 0;
452         msg1 = *mr1;
461     arm_sys_nbsend_recv(seL4_SysNBSendRecv, 0, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
469         *mr1 = msg1;
499     seL4_Word msg1;
503     arm_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
506     seL4_SetMR(1, msg1);
523     seL4_Word msg1 = 0;
527     arm_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
534         *mr1 = msg1;
555     seL4_Word msg1;
559     arm_sys_recv(seL4_SysNBWait, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
562     seL4_SetMR(1, msg1);