mutex             112 kern/synchprobs/catmouse.c static struct semaphore *mutex;
mutex             157 kern/synchprobs/catmouse.c   mutex = sem_create("bowl mutex",1);
mutex             158 kern/synchprobs/catmouse.c   if (mutex == NULL) {
mutex             194 kern/synchprobs/catmouse.c   if (mutex != NULL) {
mutex             195 kern/synchprobs/catmouse.c     sem_destroy( mutex );
mutex             196 kern/synchprobs/catmouse.c     mutex = NULL;
mutex             269 kern/synchprobs/catmouse.c   P(mutex);
mutex             290 kern/synchprobs/catmouse.c   V(mutex);  // end critical section
mutex             298 kern/synchprobs/catmouse.c   P(mutex);  // start critical section
mutex             306 kern/synchprobs/catmouse.c   V(mutex);  // end critical section
mutex             356 kern/synchprobs/catmouse.c   P(mutex);  // start critical section
mutex             377 kern/synchprobs/catmouse.c   V(mutex);  // end critical section
mutex             385 kern/synchprobs/catmouse.c   P(mutex); // start critical section
mutex             394 kern/synchprobs/catmouse.c   V(mutex);  // end critical section