turnstile_unlock
turnstile_unlock(ts, lock);
void turnstile_unlock(struct turnstile *, struct lock_object *);