Symbol: synch_init
sys/kern/init_main.c
822
synch_init();
sys/sys/sched.h
226
void synch_init(void);