Searched defs:seL4_Yield (Results 1 – 4 of 4) sorted by relevance
780 LIBSEL4_INLINE_FUNC void seL4_Yield(void) in seL4_Yield() function
487 LIBSEL4_INLINE_FUNC void seL4_Yield(void) in seL4_Yield() function
549 LIBSEL4_INLINE_FUNC void seL4_Yield(void) in seL4_Yield() function
688 LIBSEL4_INLINE_FUNC void seL4_Yield(void) in seL4_Yield() function
Completed in 11 milliseconds