NumBowls           61 kern/synchprobs/catmouse.c static int NumBowls;  // number of food bowls
NumBowls          144 kern/synchprobs/catmouse.c   KASSERT(NumBowls > 0);
NumBowls          146 kern/synchprobs/catmouse.c   bowls = kmalloc(NumBowls*sizeof(char));
NumBowls          148 kern/synchprobs/catmouse.c     panic("initialize_bowls: unable to allocate space for %d bowls\n",NumBowls);
NumBowls          151 kern/synchprobs/catmouse.c   for(i=0;i<NumBowls;i++) {
NumBowls          265 kern/synchprobs/catmouse.c   KASSERT((int)bowlnumber <= NumBowls);
NumBowls          352 kern/synchprobs/catmouse.c   KASSERT((int)bowlnumber <= NumBowls);
NumBowls          453 kern/synchprobs/catmouse.c     bowl = ((unsigned int)random() % NumBowls) + 1;
NumBowls          516 kern/synchprobs/catmouse.c     bowl = ((unsigned int)random() % NumBowls) + 1;
NumBowls          588 kern/synchprobs/catmouse.c   NumBowls = atoi(args[1]);
NumBowls          589 kern/synchprobs/catmouse.c   if (NumBowls <= 0) {
NumBowls          590 kern/synchprobs/catmouse.c     kprintf("catmouse: invalid number of bowls: %d\n",NumBowls);
NumBowls          636 kern/synchprobs/catmouse.c           NumBowls,NumCats,NumMice,NumLoops);
NumBowls          651 kern/synchprobs/catmouse.c   catmouse_sync_init(NumBowls);
NumBowls          691 kern/synchprobs/catmouse.c   total_bowl_milliseconds = (wait_sec*1000 + wait_nsec/1000000)*NumBowls;
NumBowls          702 kern/synchprobs/catmouse.c   catmouse_sync_cleanup(NumBowls);