enter_turnstile

25

void enter_turnstile(struct mm_id *mm_id) __acquires(__get_turnstile(mm_id));

564

enter_turnstile(mm_id);

42

struct semaphore enter_turnstile;

59

sema_init(&tb->enter_turnstile, 0);

81

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

83

down(&tb->enter_turnstile);