Searched defs:msg0 (Results 1 – 6 of 6) sorted by relevance
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 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
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
498 seL4_Word msg0; in seL4_Wait() local
[all …]
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 264 seL4_Word msg0; in seL4_Recv() local
294 seL4_Word msg0 = 0; in seL4_RecvWithMRs() local
330 seL4_Word msg0; in seL4_NBRecv() local
390 seL4_Word msg0 = 0; in seL4_CallWithMRs() local
436 seL4_Word msg0; in seL4_ReplyRecv() local
477 seL4_Word msg0 = 0; in seL4_ReplyRecvWithMRs() local
526 seL4_Word msg0; in seL4_NBSendRecv() local
561 seL4_Word msg0 = 0; in seL4_NBSendRecvWithMRs() local
610 seL4_Word msg0; in seL4_NBSendWait() local
699 seL4_Word msg0; in seL4_Wait() local
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls_syscall.h | 21 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4… in x64_sys_send()
46 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL… in x64_sys_reply()
|
| A D | syscalls_sysenter.h | 22 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4… in x64_sys_send()
48 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL… in x64_sys_reply()
|
| A D | syscalls.h | 116 seL4_Word msg0; in seL4_RecvWithMRs() local
199 seL4_Word msg0; in seL4_WaitWithMRs() local
273 seL4_Word msg0 = 0; in seL4_CallWithMRs() local
350 seL4_Word msg0 = 0; in seL4_ReplyRecvWithMRs() local
423 seL4_Word msg0 = 0; in seL4_NBSendRecvWithMRs() local
500 seL4_Word msg0 = 0; in seL4_NBSendWaitWithMRs() local
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 462 seL4_Word msg0 = 0; in seL4_RecvWithMRs() local
532 seL4_Word msg0 = 0; in seL4_WaitWithMRs() local
590 seL4_Word msg0 = 0; in seL4_CallWithMRs() local
656 seL4_Word msg0 = 0; in seL4_ReplyRecvWithMRs() local
714 seL4_Word msg0 = 0; in seL4_NBSendRecvWithMRs() local
760 seL4_Word msg0 = 0; in seL4_NBSendWaitWithMRs() local
|
Completed in 13 milliseconds