bowls              10 kern/include/synchprobs.h void catmouse_sync_init(int bowls);
bowls              11 kern/include/synchprobs.h void catmouse_sync_cleanup(int bowls);
bowls              95 kern/synchprobs/catmouse.c static volatile char *bowls;
bowls             146 kern/synchprobs/catmouse.c   bowls = kmalloc(NumBowls*sizeof(char));
bowls             147 kern/synchprobs/catmouse.c   if (bowls == NULL) {
bowls             152 kern/synchprobs/catmouse.c     bowls[i] = '-';
bowls             202 kern/synchprobs/catmouse.c   if (bowls != NULL) {
bowls             203 kern/synchprobs/catmouse.c     kfree( (void *) bowls );
bowls             204 kern/synchprobs/catmouse.c     bowls = NULL;
bowls             273 kern/synchprobs/catmouse.c   if (bowls[bowlnumber-1] == 'c') {
bowls             281 kern/synchprobs/catmouse.c   KASSERT(bowls[bowlnumber-1]=='-');
bowls             286 kern/synchprobs/catmouse.c   bowls[bowlnumber-1] = 'c';
bowls             300 kern/synchprobs/catmouse.c   KASSERT(bowls[bowlnumber-1]=='c');
bowls             302 kern/synchprobs/catmouse.c   bowls[bowlnumber-1]='-';
bowls             360 kern/synchprobs/catmouse.c   if (bowls[bowlnumber-1] == 'm') {
bowls             368 kern/synchprobs/catmouse.c   KASSERT(bowls[bowlnumber-1]=='-');
bowls             373 kern/synchprobs/catmouse.c   bowls[bowlnumber-1] = 'm';
bowls             389 kern/synchprobs/catmouse.c   KASSERT(bowls[bowlnumber-1]=='m');
bowls             390 kern/synchprobs/catmouse.c   bowls[bowlnumber-1]='-';
bowls              34 kern/synchprobs/catmouse_synch.c catmouse_sync_init(int bowls)
bowls              38 kern/synchprobs/catmouse_synch.c   (void)bowls; /* keep the compiler from complaining about unused parameters */
bowls              55 kern/synchprobs/catmouse_synch.c catmouse_sync_cleanup(int bowls)
bowls              58 kern/synchprobs/catmouse_synch.c   (void)bowls; /* keep the compiler from complaining about unused parameters */