OPT_SYNCHPROBS     51 kern/include/clock.h #if OPT_SYNCHPROBS
OPT_SYNCHPROBS    134 kern/startup/menu.c #if OPT_SYNCHPROBS
OPT_SYNCHPROBS    500 kern/startup/menu.c #if OPT_SYNCHPROBS
OPT_SYNCHPROBS    552 kern/startup/menu.c #if OPT_SYNCHPROBS
OPT_SYNCHPROBS     44 kern/test/tt3.c #if OPT_SYNCHPROBS
OPT_SYNCHPROBS    753 kern/thread/thread.c #if OPT_SYNCHPROBS