init_turnstile0
static void init_turnstile0(void *dummy);
SYSINIT(turnstile0, SI_SUB_LOCK, SI_ORDER_ANY, init_turnstile0, NULL);