SEMAPHORE_INITIALIZER 60 kernel/generic/include/synch/mutex.h .sem = SEMAPHORE_INITIALIZER((name).sem, 1), \ SEMAPHORE_INITIALIZER 52 kernel/generic/include/synch/semaphore.h semaphore_t name = SEMAPHORE_INITIALIZER(name, count) SEMAPHORE_INITIALIZER 54 kernel/generic/src/synch/semaphore.c *sem = SEMAPHORE_INITIALIZER(*sem, val);HelenOS homepage, sources at GitHub