catmouse_sync_cleanup   11 kern/include/synchprobs.h void catmouse_sync_cleanup(int bowls);
catmouse_sync_cleanup  702 kern/synchprobs/catmouse.c   catmouse_sync_cleanup(NumBowls);