Lines Matching defs:reply
11 #define LIBSEL4_MCS_REPLY reply
80 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply)
108 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply)
144 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply)
311 seL4_CPtr reply)
341 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply)
393 seL4_Word *sender, seL4_CPtr reply)
403 reply);
419 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply)
442 reply);
474 /* NBSendWait sends to the supplied reply cap, not to a supplied
507 * This syscall (SysReplyRecv) sends to the reply cap passed in the replyRegister, and then