Lines Matching refs:msg3
62 register seL4_Word msg3 asm("x5") = mr3;
69 "+r" (msg3), "+r" (info)
83 register seL4_Word msg3 asm("x5") = mr3;
89 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
120 register seL4_Word msg3 asm("x5");
126 : "=r" (msg0), "=r" (msg1), "=r" (msg2), "=r" (msg3),
136 *out_mr3 = msg3;
149 register seL4_Word msg3 asm("x5") = *in_out_mr3;
155 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
165 *in_out_mr3 = msg3;