exit_turnstile

26

void exit_turnstile(struct mm_id *mm_id) __releases(__get_turnstile(mm_id));

744

exit_turnstile(mm_id);

43

struct semaphore exit_turnstile;

60

sema_init(&tb->exit_turnstile, 0);

95

task_barrier_signal_turnstile(&tb->exit_turnstile, tb->n);

97

down(&tb->exit_turnstile);