HelenOS sources

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