Lines Matching refs:sender
341 seL4_Recv(seL4_CPtr src, seL4_Word* sender)
353 if (sender) {
354 *sender = badge;
361 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender,
378 if (sender) {
379 *sender = badge;
386 seL4_NBRecv(seL4_CPtr src, seL4_Word* sender)
398 if (sender) {
399 *sender = badge;
448 seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender)
460 if (sender) {
461 *sender = badge;
468 seL4_ReplyRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender,
492 if (sender) {
493 *sender = badge;
508 seL4_VMEnter(seL4_Word *sender)
519 if (!fault && sender) {
520 *sender = badge;