HelenOS sources

semaphore_down     50 kernel/generic/include/synch/semaphore.h extern void semaphore_down(semaphore_t *);
semaphore_down    117 kernel/generic/src/console/chardev.c 	semaphore_down(&indev->wq);
semaphore_down    114 kernel/generic/src/synch/mutex.c 	semaphore_down(&mtx->sem);
semaphore_down     50 kernel/test/synch/semaphore1.c 	semaphore_down(&sem);
semaphore_down     60 kernel/test/synch/semaphore1.c 	semaphore_down(&sem);
HelenOS homepage, sources at GitHub