Lines Matching defs:msg0
84 seL4_Word msg0; in seL4_Recv() local
113 seL4_Word msg0 = 0; in seL4_RecvWithMRs() local
149 seL4_Word msg0; in seL4_NBRecv() local
171 seL4_Word msg0 = seL4_GetMR(0); in seL4_Call() local
191 seL4_Word msg0 = 0; in seL4_CallWithMRs() local
238 seL4_Word msg0; in seL4_ReplyRecv() local
278 seL4_Word msg0 = 0; in seL4_ReplyRecvWithMRs() local
327 seL4_Word msg0; in seL4_NBSendRecv() local
361 seL4_Word msg0 = 0; in seL4_NBSendRecvWithMRs() local
409 seL4_Word msg0; in seL4_NBSendWait() local
443 seL4_Word msg0 = 0; in seL4_NBSendWaitWithMRs() local
498 seL4_Word msg0; in seL4_Wait() local
522 seL4_Word msg0 = 0; in seL4_WaitWithMRs() local
554 seL4_Word msg0; in seL4_NBWait() local