Searched defs:seL4_Poll (Results 1 - 5 of 5) sorted by relevance

/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/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
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DEventTo.c1082 seL4_Poll function
H A DRPCFrom.c1314 seL4_Poll function

Completed in 106 milliseconds