Searched refs:turnstile_alloc (Results 1 – 3 of 3) sorted by relevance
85 struct turnstile *turnstile_alloc(void);
434 thread0.td_turnstile = turnstile_alloc(); in init_turnstile0()540 turnstile_alloc(void) in turnstile_alloc() function
462 td->td_turnstile = turnstile_alloc(); in thread_init()