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