Searched refs:seL4_Poll (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/document/
H A Deventto-poll.c13 seL4_Poll(6, badge);
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dsyscalls.h28 seL4_Poll(seL4_CPtr src, seL4_Word *sender) function
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dsyscalls.h236 seL4_Poll(seL4_CPtr src, seL4_Word *sender);
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DEventTo.c1082 seL4_Poll function
2141 seL4_Poll
H A DRPCFrom.c1314 seL4_Poll function
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h489 seL4_Poll(seL4_CPtr src, seL4_Word *sender) function
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h340 seL4_Poll(seL4_CPtr src, seL4_Word *sender) function

Completed in 99 milliseconds