Searched refs:turnstile_alloc (Results 1 – 3 of 3) sorted by relevance
87 struct turnstile *turnstile_alloc(void);
435 thread0.td_turnstile = turnstile_alloc(); in init_turnstile0()541 turnstile_alloc(void) in turnstile_alloc() function
425 td->td_turnstile = turnstile_alloc(); in thread_init()