sel4/sel4_arch/syscalls.h

30                                           seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
34                  (mr1 != seL4_Null) ? *mr1 : 0,
46                                             seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
50                  (mr1 != seL4_Null) ? *mr1 : 0,
63                                            seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
67                   (mr1 != seL4_Null) ? *mr1 : 0,
88     seL4_Word mr1;
92     x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, LIBSEL4_MCS_REPLY);
95     seL4_SetMR(1, mr1);
108                                                         seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply)
111                                                         seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
126     if (mr1 != seL4_Null) {
127         *mr1 = msg1;
152     seL4_Word mr1;
156     x64_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, LIBSEL4_MCS_REPLY);
159     seL4_SetMR(1, mr1);
176     seL4_Word mr1;
180     x64_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, 0);
183     seL4_SetMR(1, mr1);
195                                                         seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
209     if (mr1 != seL4_Null) {
210         *mr1 = msg1;
231     seL4_Word mr1;
235     x64_sys_recv(seL4_SysNBWait, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, 0);
238     seL4_SetMR(1, mr1);
255     seL4_Word mr1 = seL4_GetMR(1);
259     x64_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &mr0, &mr1, &mr2, &mr3, 0);
262     seL4_SetMR(1, mr1);
270                                                         seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
281     if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) {
282         msg1 = *mr1;
296     if (mr1 != seL4_Null) {
297         *mr1 = msg1;
319     seL4_Word mr1 = seL4_GetMR(1);
323     x64_sys_send_recv(seL4_SysReplyRecv, dest, &badge, msgInfo.words[0], &info.words[0], &mr0, &mr1, &mr2, &mr3,
327     seL4_SetMR(1, mr1);
341                                                              seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply)
345                                                              seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
358     if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) {
359         msg1 = *mr1;
374     if (mr1 != seL4_Null) {
375         *mr1 = msg1;
398     seL4_Word mr1 = seL4_GetMR(1);
402     x64_sys_nbsend_recv(seL4_SysNBSendRecv, dest, src, &badge, msgInfo.words[0], &info.words[0], &mr0, &mr1, &mr2, &mr3,
406     seL4_SetMR(1, mr1);
419                                                               seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply)
431     if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) {
432         msg1 = *mr1;
447     if (mr1 != seL4_Null) {
448         *mr1 = msg1;
470     seL4_Word mr1 = seL4_GetMR(1);
480     x64_sys_nbsend_recv(seL4_SysNBSendWait, 0, src, &badge, msgInfo.words[0], &info.words[0], &mr0, &mr1, &mr2, &mr3, dest);
483     seL4_SetMR(1, mr1);
496                                                               seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
516     if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) {
517         msg1 = *mr1;
531     if (mr1 != seL4_Null) {
532         *mr1 = msg1;
561     seL4_Word mr1 = seL4_GetMR(1);
565     x64_sys_send_recv(seL4_SysVMEnter, 0, &badge, 0, &fault, &mr0, &mr1, &mr2, &mr3, 0);
568     seL4_SetMR(1, mr1);