globalCatMouseSem   22 kern/synchprobs/catmouse_synch.c static struct semaphore *globalCatMouseSem;
globalCatMouseSem   39 kern/synchprobs/catmouse_synch.c   globalCatMouseSem = sem_create("globalCatMouseSem",1);
globalCatMouseSem   40 kern/synchprobs/catmouse_synch.c   if (globalCatMouseSem == NULL) {
globalCatMouseSem   59 kern/synchprobs/catmouse_synch.c   KASSERT(globalCatMouseSem != NULL);
globalCatMouseSem   60 kern/synchprobs/catmouse_synch.c   sem_destroy(globalCatMouseSem);
globalCatMouseSem   81 kern/synchprobs/catmouse_synch.c   KASSERT(globalCatMouseSem != NULL);
globalCatMouseSem   82 kern/synchprobs/catmouse_synch.c   P(globalCatMouseSem);
globalCatMouseSem  103 kern/synchprobs/catmouse_synch.c   KASSERT(globalCatMouseSem != NULL);
globalCatMouseSem  104 kern/synchprobs/catmouse_synch.c   V(globalCatMouseSem);
globalCatMouseSem  124 kern/synchprobs/catmouse_synch.c   KASSERT(globalCatMouseSem != NULL);
globalCatMouseSem  125 kern/synchprobs/catmouse_synch.c   P(globalCatMouseSem);
globalCatMouseSem  146 kern/synchprobs/catmouse_synch.c   KASSERT(globalCatMouseSem != NULL);
globalCatMouseSem  147 kern/synchprobs/catmouse_synch.c   V(globalCatMouseSem);