mouse_sleep        43 kern/synchprobs/catmouse.c static void mouse_sleep(int sleep_time);
mouse_sleep       513 kern/synchprobs/catmouse.c     mouse_sleep(MouseSleepTime);