Lines Matching refs:msg3
119 seL4_Word msg3;
121 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
133 *mr3 = msg3;
195 seL4_Word msg3 = 0;
207 msg3 = *mr3;
210 x64_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3);
222 *mr3 = msg3;
261 seL4_Word msg3 = 0;
273 msg3 = *mr3;
276 x64_sys_send_recv(seL4_SysReplyRecv, dest, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3);
288 *mr3 = msg3;