Lines Matching refs:msg0
462 seL4_Word msg0 = 0;
465 x86_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, MCS_COND(reply, &msg1));
468 *mr0 = msg0;
532 seL4_Word msg0 = 0;
534 x86_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &msg0, 0);
537 *mr0 = msg0;
590 seL4_Word msg0 = 0;
594 msg0 = *mr0;
603 x86_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, MCS_COND(0, &msg1));
606 *mr0 = msg0;
656 seL4_Word msg0 = 0;
660 msg0 = *mr0;
668 x86_sys_send_recv(seL4_SysReplyRecv, dest, &badge, msgInfo.words[0], &info.words[0], &msg0, MCS_COND(0, &msg1));
671 *mr0 = msg0;
714 seL4_Word msg0 = 0;
720 msg0 = *mr0;
723 x86_sys_nbsend_wait(seL4_SysNBSendRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, reply);
726 *mr0 = msg0;
760 seL4_Word msg0 = 0;
763 msg0 = *mr0;
766 x86_sys_nbsend_wait(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, dest);
769 *mr0 = msg0;