Searched refs:seL4_NBWait (Results 1 - 5 of 5) sorted by relevance

/seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/
H A Dsyscalls.h24 return seL4_NBWait(src, sender);
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dsyscalls.h274 * <docref>See the description of <nameref name="seL4_NBWait"/> in <autoref label="sec:sys_nbwait"/>.</docref>
286 seL4_NBWait(seL4_CPtr src, seL4_Word *sender);
293 * convenience wrapper which calls seL4_NBWait().
297 * <docref>See the description of <nameref name="seL4_NBWait"/> in <autoref label="sec:sys_nbwait"/>.</docref>
/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h514 seL4_NBWait(seL4_CPtr src, seL4_Word* sender) function
712 return seL4_NBWait(src, sender);
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h432 seL4_NBWait(seL4_CPtr src, seL4_Word* sender) function
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h207 seL4_NBWait(seL4_CPtr src, seL4_Word* sender) function

Completed in 81 milliseconds