sel4/sel4_arch/syscalls.h

33 static inline void x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1,
50         "D"(mr1)
60 static inline void x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2)
75         "D"(mr1),
212 static inline void x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1, seL4_Word mr2)
228         "D"(mr1)
239 static inline void x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2)
252         "D"(mr1),
375 #define MAYBE_GET_MRS mr0 != seL4_Null ? *mr0 : 0, mr1 != seL4_Null ? *mr1 : 0
377 #define RECV_MRS &mr0, &mr1
388 LIBSEL4_INLINE_FUNC void seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1)
392                                                                                              mr1 != seL4_Null ? *mr1 : 0));
403 LIBSEL4_INLINE_FUNC void seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1)
407                                                                                                mr1 != seL4_Null ? *mr1 : 0));
417                                            seL4_Word *mr0, seL4_Word *mr1)
419     x86_sys_reply(seL4_SysReply, msgInfo.words[0], mr0 != seL4_Null ? *mr0 : 0, mr1 != seL4_Null ? *mr1 : 0);
437     LIBSEL4_UNUSED seL4_Word mr1;
439     x86_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &mr0, MCS_COND(reply, &mr1));
443     seL4_SetMR(1, mr1);
457                                                         seL4_Word *mr0, seL4_Word *mr1)
472     if (mr1 != seL4_Null) {
473         *mr1 = msg1;
493     LIBSEL4_UNUSED seL4_Word mr1;
495     x86_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &mr0, MCS_COND(reply, &mr1));
499     seL4_SetMR(1, mr1);
569     LIBSEL4_UNUSED seL4_Word mr1 = MCS_COND(0, seL4_GetMR(1));
571     x86_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &mr0, MCS_COND(0, &mr1));
575     seL4_SetMR(1, mr1);
586                                                         seL4_Word *mr0, seL4_Word *mr1)
598     if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) {
599         msg1 = *mr1;
609     if (mr1 != seL4_Null) {
610         *mr1 = msg1;
627     LIBSEL4_UNUSED seL4_Word mr1 = MCS_COND(0, seL4_GetMR(1));
630                       MCS_COND(reply, &mr1));
634     seL4_SetMR(1, mr1);
651                                                              seL4_Word *mr0, seL4_Word *mr1)
664     if (mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 1) {
665         msg1 = *mr1;
674     if (mr1 != seL4_Null) {
675         *mr1 = msg1;
792     LIBSEL4_UNUSED seL4_Word mr1 = MCS_COND(0, seL4_GetMR(1));
794     x86_sys_send_recv(seL4_SysVMEnter, 0, &badge, 0, &fault, &mr0, MCS_COND(0, &mr1));
798     seL4_SetMR(1, mr1);