cleanup_bowls      39 kern/synchprobs/catmouse.c static void cleanup_bowls(void);
cleanup_bowls     705 kern/synchprobs/catmouse.c   cleanup_bowls();