Home
last modified time | relevance | path

Searched refs:seL4_Poll (Results 1 – 5 of 5) sorted by relevance

/seL4-master/libsel4/arch_include/x86/sel4/arch/
A Dsyscalls.h15 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) in seL4_Poll() function
24 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) in seL4_Poll() function
/seL4-master/libsel4/include/sel4/
A Dsyscalls_master.h226 seL4_Poll(seL4_CPtr src, seL4_Word *sender);
A Dsyscalls_mcs.h279 seL4_Poll(seL4_CPtr src, seL4_Word *sender);
/seL4-master/libsel4/arch_include/arm/sel4/arch/
A Dsyscalls.h797 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) in seL4_Poll() function
/seL4-master/libsel4/arch_include/riscv/sel4/arch/
A Dsyscalls.h377 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) in seL4_Poll() function

Completed in 13 milliseconds