semaphore          54 kern/include/synch.h void sem_destroy(struct semaphore *);
semaphore          62 kern/include/synch.h void P(struct semaphore *);
semaphore          63 kern/include/synch.h void V(struct semaphore *);
semaphore          79 kern/thread/synch.c sem_destroy(struct semaphore *sem)
semaphore          91 kern/thread/synch.c P(struct semaphore *sem)
semaphore         133 kern/thread/synch.c V(struct semaphore *sem)