catmouse_sync_init   10 kern/include/synchprobs.h void catmouse_sync_init(int bowls);
catmouse_sync_init  651 kern/synchprobs/catmouse.c   catmouse_sync_init(NumBowls);