Lines Matching refs:msg1
64 register seL4_Word msg1 asm("r3") = mr1;
72 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2),
86 register seL4_Word msg1 asm("r3") = mr1;
94 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
123 register seL4_Word msg1 asm("r3");
133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3),
141 *out_mr1 = msg1;
155 register seL4_Word msg1 asm("r3") = *in_out_mr1;
164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
172 *in_out_mr1 = msg1;
188 register seL4_Word msg1 asm("r3") = *in_out_mr1;
199 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
208 *in_out_mr1 = msg1;