<dec f='src/src/sys/sys/sched.h' l='215' type='void synch_init()'/>
<use f='src/src/sys/kern/init_main.c' l='762' u='c' c='configure2'/>
<def f='src/src/sys/kern/kern_synch.c' l='139' ll='151' type='void synch_init()'/>
