cat_simulation     44 kern/synchprobs/catmouse.c static void cat_simulation(void *ptr, unsigned long catnumber);
cat_simulation    661 kern/synchprobs/catmouse.c     error = thread_fork("cat_simulation thread", NULL, cat_simulation, NULL, catindex);