Lines Matching refs:msg3
89 seL4_Word msg3;
91 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
96 seL4_SetMR(3, msg3);
114 seL4_Word msg3 = 0;
116 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
129 *mr3 = msg3;
147 seL4_Word msg3;
149 arm_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
154 seL4_SetMR(3, msg3);
170 seL4_Word msg3 = seL4_GetMR(3);
172 arm_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3);
178 seL4_SetMR(3, msg3);
191 seL4_Word msg3 = 0;
204 msg3 = *mr3;
207 arm_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3);
220 *mr3 = msg3;
234 seL4_Word msg3;
240 msg3 = seL4_GetMR(3);
242 arm_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3);
248 seL4_SetMR(3, msg3);
267 seL4_Word msg3 = 0;
279 msg3 = *mr3;
282 arm_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3);
295 *mr3 = msg3;