Searched refs:exit_turnstile (Results 1 – 2 of 2) sorted by relevance
43 struct semaphore exit_turnstile; member60 sema_init(&tb->exit_turnstile, 0); in task_barrier_init()95 task_barrier_signal_turnstile(&tb->exit_turnstile, tb->n); in task_barrier_exit()97 down(&tb->exit_turnstile); in task_barrier_exit()
744 exit_turnstile(mm_id); in userspace()