sel4/arch/syscalls.h

87     seL4_Word msg3;
89     arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
94     seL4_SetMR(3, msg3);
116     seL4_Word msg3 = 0;
118     arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
131         *mr3 = msg3;
152     seL4_Word msg3;
154     arm_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
159     seL4_SetMR(3, msg3);
174     seL4_Word msg3 = seL4_GetMR(3);
176     arm_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
182     seL4_SetMR(3, msg3);
194     seL4_Word msg3 = 0;
207         msg3 = *mr3;
210     arm_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
223         *mr3 = msg3;
241     seL4_Word msg3;
247     msg3 = seL4_GetMR(3);
249     arm_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
256     seL4_SetMR(3, msg3);
281     seL4_Word msg3 = 0;
293         msg3 = *mr3;
296     arm_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
310         *mr3 = msg3;
330     seL4_Word msg3;
336     msg3 = seL4_GetMR(3);
338     arm_sys_nbsend_recv(seL4_SysNBSendRecv, dest, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
345     seL4_SetMR(3, msg3);
364     seL4_Word msg3 = 0;
376         msg3 = *mr3;
379     arm_sys_nbsend_recv(seL4_SysNBSendRecv, dest, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
393         *mr3 = msg3;
412     seL4_Word msg3;
418     msg3 = seL4_GetMR(3);
420     arm_sys_nbsend_recv(seL4_SysNBSendWait, 0, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
427     seL4_SetMR(3, msg3);
446     seL4_Word msg3 = 0;
458         msg3 = *mr3;
461     arm_sys_nbsend_recv(seL4_SysNBSendRecv, 0, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3,
475         *mr3 = msg3;
501     seL4_Word msg3;
503     arm_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
508     seL4_SetMR(3, msg3);
525     seL4_Word msg3 = 0;
527     arm_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
540         *mr3 = msg3;
557     seL4_Word msg3;
559     arm_sys_recv(seL4_SysNBWait, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
564     seL4_SetMR(3, msg3);