Searched refs:seL4_NBRecv (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/seL4/libsel4/arch_include/x86/sel4/arch/ |
| H A D | syscalls.h | 26 return seL4_NBRecv(src, sender);
|
| /seL4-l4v-master/seL4/libsel4/include/sel4/ |
| H A D | syscalls_master.h | 148 seL4_NBRecv(seL4_CPtr src, seL4_Word *sender);
205 * convenience wrapper which calls seL4_NBRecv().
209 * <docref>See the description of <nameref name="seL4_NBRecv"/> in <autoref label="sec:sys_nbrecv"/>.</docref>
|
| H A D | syscalls_mcs.h | 140 seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply);
|
| /seL4-l4v-master/seL4/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 142 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) function
144 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender)
803 return seL4_NBRecv(src, sender);
|
| /seL4-l4v-master/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 323 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) function
325 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender)
382 return seL4_NBRecv(src, sender);
|
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 485 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) function
487 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender)
|
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 144 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) function
146 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBRecv(seL4_CPtr src, seL4_Word *sender)
|
Completed in 95 milliseconds