1 #pragma once
2 
3 #include <l4/sys/semaphore>
4 
5 typedef L4::Semaphore Th_sem_cap;
6 
__alloc_thread_sem(pthread_descr th,L4::Cap<Th_sem_cap> const & c)7 inline int __alloc_thread_sem(pthread_descr th, L4::Cap<Th_sem_cap> const &c)
8 {
9   return l4_error(L4Re::Env::env()->factory()->create(c));
10 }
11