Searched refs:enter_turnstile (Results 1 – 2 of 2) sorted by relevance
42 struct semaphore enter_turnstile; member59 sema_init(&tb->enter_turnstile, 0); in task_barrier_init()81 task_barrier_signal_turnstile(&tb->enter_turnstile, tb->n); in task_barrier_enter()83 down(&tb->enter_turnstile); in task_barrier_enter()
564 enter_turnstile(mm_id); in userspace()