sel4/sel4_arch/syscalls.h

34                  seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
37                  (mr0 != seL4_Null) ? *mr0 : 0,
52                    seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
55                  (mr0 != seL4_Null) ? *mr0 : 0,
70                   seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
73                   (mr0 != seL4_Null) ? *mr0 : 0,
91     seL4_Word mr0;
96     x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3);
98     seL4_SetMR(0, mr0);
112                  seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
123     if (mr0 != seL4_Null) {
124         *mr0 = msg0;
148     seL4_Word mr0;
153     x64_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3);
155     seL4_SetMR(0, mr0);
172     seL4_Word mr0 = seL4_GetMR(0);
177     x64_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &mr0, &mr1, &mr2, &mr3);
179     seL4_SetMR(0, mr0);
189                  seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
197     if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) {
198         msg0 = *mr0;
212     if (mr0 != seL4_Null) {
213         *mr0 = msg0;
233     seL4_Word mr0 = seL4_GetMR(0);
238     x64_sys_send_recv(seL4_SysReplyRecv, dest, &badge, msgInfo.words[0], &info.words[0], &mr0, &mr1, &mr2, &mr3);
240     seL4_SetMR(0, mr0);
254                       seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
263     if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) {
264         msg0 = *mr0;
278     if (mr0 != seL4_Null) {
279         *mr0 = msg0;
311     seL4_Word mr0 = seL4_GetMR(0);
316     x64_sys_send_recv(seL4_SysVMEnter, 0, &badge, 0, &fault, &mr0, &mr1, &mr2, &mr3);
318     seL4_SetMR(0, mr0);