Searched refs:l4_semaphore_down_u (Results 1 – 2 of 2) sorted by relevance
47 l4_semaphore_down_u(l4_cap_idx_t sem, l4_timeout_t to,52 l4_semaphore_down_u(l4_cap_idx_t sem, l4_timeout_t to, in l4_semaphore_down_u() function64 return l4_semaphore_down_u(sem, to, l4_utcb()); in l4_semaphore_down()
86 { return l4_semaphore_down_u(cap(), timeout, utcb); }
Completed in 2 milliseconds