Lines Matching refs:msg3
38 register seL4_Word msg3 asm("a5") = mr3;
45 "+r" (msg3), "+r" (info)
60 register seL4_Word msg3 asm("a5") = mr3;
66 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
98 register seL4_Word msg3 asm("a5");
104 : "=r" (msg0), "=r" (msg1), "=r" (msg2), "=r" (msg3),
114 *out_mr3 = msg3;
142 register seL4_Word msg3 asm("a5") = *in_out_mr3;
148 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
158 *in_out_mr3 = msg3;
236 seL4_Word msg3;
238 riscv_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
243 seL4_SetMR(3, msg3);
262 seL4_Word msg3 = 0;
264 riscv_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
277 *mr3 = msg3;
295 seL4_Word msg3;
297 riscv_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
302 seL4_SetMR(3, msg3);
319 seL4_Word msg3 = seL4_GetMR(3);
322 &msg2, &msg3);
328 seL4_SetMR(3, msg3);
353 seL4_Word msg3 = 0;
365 msg3 = *mr3;
369 &msg2, &msg3);
381 *mr3 = msg3;
395 seL4_Word msg3;
401 msg3 = seL4_GetMR(3);
404 &msg1, &msg2, &msg3);
410 seL4_SetMR(3, msg3);
430 seL4_Word msg3 = 0;
442 msg3 = *mr3;
446 &msg1, &msg2, &msg3);
459 *mr3 = msg3;