Lines Matching refs:mr1
26 register seL4_Word mr1 asm("r8") = msg1;
40 "r"(mr1),
52 register seL4_Word mr1 asm("r8") = msg1;
65 "r"(mr1),
92 register seL4_Word mr1 asm("r8");
105 "=r"(mr1),
115 *out_mr1 = mr1;
125 register seL4_Word mr1 asm("r8") = *in_out_mr1;
137 "=r"(mr1),
145 "r"(mr1),
153 *in_out_mr1 = mr1;
164 register seL4_Word mr1 asm("r8") = *in_out_mr1;
177 "=r"(mr1),
183 "r"(mr1),
190 *in_out_mr1 = mr1;