sel4/sel4_arch/syscalls.h

80 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply)
82 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender)
99     if (sender) {
100         *sender = badge;
107 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender,
110 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender,
136     if (sender) {
137         *sender = badge;
144 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply)
146 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender)
163     if (sender) {
164         *sender = badge;
171 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Wait(seL4_CPtr src, seL4_Word *sender)
187     if (sender) {
188         *sender = badge;
194 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_WaitWithMRs(seL4_CPtr src, seL4_Word *sender,
219     if (sender) {
220         *sender = badge;
226 static inline seL4_MessageInfo_t seL4_NBWait(seL4_CPtr src, seL4_Word *sender)
242     if (sender) {
243         *sender = badge;
310 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender,
313 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender)
331     if (sender) {
332         *sender = badge;
340                                                              seL4_Word *sender,
344                                                              seL4_Word *sender,
384     if (sender) {
385         *sender = badge;
393                                                        seL4_Word *sender, seL4_CPtr reply)
410     if (sender) {
411         *sender = badge;
418                                                               seL4_Word *sender,
457     if (sender) {
458         *sender = badge;
465                                                        seL4_Word *sender)
487     if (sender) {
488         *sender = badge;
495                                                               seL4_Word *sender,
541     if (sender) {
542         *sender = badge;
556 LIBSEL4_INLINE_FUNC seL4_Word seL4_VMEnter(seL4_Word *sender)
571     if (!fault && sender) {
572         *sender = badge;