Searched defs:seL4_Wait (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dsyscalls.h22 seL4_Wait(seL4_CPtr src, seL4_Word *sender) function
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h483 seL4_Wait(seL4_CPtr src, seL4_Word *sender) function
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h334 seL4_Wait(seL4_CPtr src, seL4_Word *sender) function
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DEventTo.c904 seL4_Wait function
H A DRPCFrom.c1136 seL4_Wait function
H A DRPCTo.c1024 seL4_Wait function
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver443.c269 static inline seL4_MessageInfo_t seL4_Wait(seL4_CPtr src, seL4_Word *sender) { function
[all...]

Completed in 104 milliseconds