catindex          571 kern/synchprobs/catmouse.c   int catindex, mouseindex, error;
catindex          660 kern/synchprobs/catmouse.c   for (catindex = 0; catindex < NumCats; catindex++) {
catindex          661 kern/synchprobs/catmouse.c     error = thread_fork("cat_simulation thread", NULL, cat_simulation, NULL, catindex);
catindex          665 kern/synchprobs/catmouse.c     if (catindex < NumMice) {
catindex          666 kern/synchprobs/catmouse.c       error = thread_fork("mouse_simulation thread", NULL, mouse_simulation, NULL, catindex);
catindex          673 kern/synchprobs/catmouse.c   for(mouseindex = catindex; mouseindex < NumMice; mouseindex++) {