Searched refs:turnstile_alloc (Results 1 – 3 of 3) sorted by relevance
90 struct turnstile *turnstile_alloc(void);
410 thread0.td_turnstile = turnstile_alloc(); in init_turnstile0()516 turnstile_alloc(void) in turnstile_alloc() function
214 td->td_turnstile = turnstile_alloc(); in thread_init()