sel4/arch/syscalls.h

257 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply)
259 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender)
276     /* Return back sender and message information. */
277     if (sender) {
278         *sender = badge;
285 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply,
288 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_RecvWithMRs(seL4_CPtr src, seL4_Word *sender,
315     /* Return back sender and message information. */
316     if (sender) {
317         *sender = badge;
323 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply)
325 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender)
342     /* Return back sender and message information. */
343     if (sender) {
344         *sender = badge;
371 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender)
373     seL4_Recv(src, sender);
377 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender)
380     return seL4_NBWait(src, sender);
382     return seL4_NBRecv(src, sender);
428 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender,
431 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender)
456     /* Return back sender and message information. */
457     if (sender) {
458         *sender = badge;
467                                                              seL4_Word *sender,
471                                                              seL4_Word *sender,
512     /* Return back sender and message information. */
513     if (sender) {
514         *sender = badge;
522                                                        seL4_Word *sender, seL4_CPtr reply)
547     /* Return back sender and message information. */
548     if (sender) {
549         *sender = badge;
556                                                               seL4_Word *sender,
597     /* Return back sender and message information. */
598     if (sender) {
599         *sender = badge;
606                                                        seL4_Word *sender)
630     /* Return back sender and message information. */
631     if (sender) {
632         *sender = badge;
639                                                               seL4_Word *sender,
679     /* Return back sender and message information. */
680     if (sender) {
681         *sender = badge;
695 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Wait(seL4_CPtr src, seL4_Word *sender)
711     /* Return back sender and message information. */
712     if (sender) {
713         *sender = badge;
718 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_WaitWithMRs(seL4_CPtr src, seL4_Word *sender,
744     /* Return back sender and message information. */
745     if (sender) {
746         *sender = badge;
751 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBWait(seL4_CPtr src, seL4_Word *sender)
767     /* Return back sender and message information. */
768     if (sender) {
769         *sender = badge;