Searched refs:seL4_NBSendWait (Results 1 - 6 of 6) sorted by relevance
| /seL4-camkes-master/kernel/libsel4/include/sel4/ |
| H A D | syscalls_mcs.h | 193 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | mcs_api.h | 96 return seL4_NBSendWait(send, info, recv, badge);
|
| /seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 404 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, function
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 736 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, function
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 464 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, function
|
| /seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 605 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, function
|
Completed in 72 milliseconds