Searched refs:l4_semaphore_up (Results 1 – 2 of 2) sorted by relevance
27 l4_semaphore_up(th->p_thsem_cap); in restart()
29 l4_semaphore_up(l4_cap_idx_t sem) L4_NOTHROW in l4_semaphore_up() function
Completed in 3 milliseconds