initial_count      53 kern/include/synch.h struct semaphore *sem_create(const char *name, int initial_count);
initial_count      48 kern/thread/synch.c sem_create(const char *name, int initial_count)
initial_count      52 kern/thread/synch.c         KASSERT(initial_count >= 0);
initial_count      73 kern/thread/synch.c         sem->sem_count = initial_count;