sem_count          50 kern/include/synch.h         volatile int sem_count;
sem_count          73 kern/thread/synch.c         sem->sem_count = initial_count;
sem_count         104 kern/thread/synch.c         while (sem->sem_count == 0) {
sem_count         127 kern/thread/synch.c         KASSERT(sem->sem_count > 0);
sem_count         128 kern/thread/synch.c         sem->sem_count--;
sem_count         139 kern/thread/synch.c         sem->sem_count++;
sem_count         140 kern/thread/synch.c         KASSERT(sem->sem_count > 0);