Lines Matching refs:mr0
28 riscv_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1,
35 register seL4_Word msg0 asm("a2") = mr0;
51 riscv_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2,
57 register seL4_Word msg0 asm("a2") = mr0;
170 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
173 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
191 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
194 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
211 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
214 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
255 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
267 if (mr0 != seL4_Null) {
268 *mr0 = msg0;
347 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
355 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) {
356 msg0 = *mr0;
371 if (mr0 != seL4_Null) {
372 *mr0 = msg0;
423 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
432 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) {
433 msg0 = *mr0;
449 if (mr0 != seL4_Null) {
450 *mr0 = msg0;