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