Searched refs:seL4_Recv (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dsyscalls.h24 seL4_Recv(src, sender);
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dsyscalls.h61 seL4_Recv(seL4_CPtr src, seL4_Word* sender);
193 * convenience wrapper which calls seL4_Recv().
196 * <docref>See the description of <nameref name="seL4_Recv"/> in <autoref label="sec:sys_recv"/>.</docref>
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h82 seL4_Recv(seL4_CPtr src, seL4_Word* sender) function
485 seL4_Recv(src, sender);
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h229 seL4_Recv(seL4_CPtr src, seL4_Word* sender) function
336 seL4_Recv(src, sender);
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h341 seL4_Recv(seL4_CPtr src, seL4_Word* sender) function
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h87 seL4_Recv(seL4_CPtr src, seL4_Word* sender) function

Completed in 40 milliseconds