synchprobs.h   35 kern/synchprobs/catmouse.c #include <synchprobs.h>
synchprobs.h    3 kern/synchprobs/catmouse_synch.c #include <synchprobs.h>