Symbol: init_turnstiles
sys/kern/kern_mutex.c
1235
init_turnstiles();
sys/sys/turnstile.h
83
void init_turnstiles(void);