Lines Matching refs:mr1
25 register seL4_Word mr1 asm("r8") = msg1;
38 "r"(mr1),
50 register seL4_Word mr1 asm("r8") = msg1;
62 "r"(mr1),
89 register seL4_Word mr1 asm("r8");
101 "=r"(mr1),
110 *out_mr1 = mr1;
120 register seL4_Word mr1 asm("r8") = *in_out_mr1;
131 "=r"(mr1),
139 "r"(mr1),
146 *in_out_mr1 = mr1;
157 register seL4_Word mr1 asm("r8") = *in_out_mr1;
169 "=r"(mr1),
177 "r"(mr1),
185 *in_out_mr1 = mr1;