Searched defs:seL4_Signal (Results 1 – 4 of 4) sorted by relevance
423 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) in seL4_Signal() function
70 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) in seL4_Signal() function
74 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) in seL4_Signal() function
251 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) in seL4_Signal() function
Completed in 11 milliseconds