sel4/arch/syscalls.h

29                  seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
32                  mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
47                    seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
50                  mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
65                   seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
68                   mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
107                  seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
119     if (mr0 != seL4_Null) {
120         *mr0 = msg0;
185                  seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
194     if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) {
195         msg0 = *mr0;
210     if (mr0 != seL4_Null) {
211         *mr0 = msg0;
260                       seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
269     if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) {
270         msg0 = *mr0;
285     if (mr0 != seL4_Null) {
286         *mr0 = msg0;