__get_turnstile

24

struct mutex *__get_turnstile(struct mm_id *mm_id);

25

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

26

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

35

mutex_lock(__get_turnstile(mm_id));

40

mutex_unlock(__get_turnstile(mm_id));