turnstile_unpend
turnstile_unpend(ts);
turnstile_unpend(ts);
turnstile_unpend(ts);
turnstile_unpend(ts);
turnstile_unpend(ts);
turnstile_unpend(ts);
void turnstile_unpend(struct turnstile *);