turnstile_wakeup
turnstile_wakeup(ts, TS_WRITER_Q,
turnstile_wakeup(ts, TS_WRITER_Q, TS_WAITERS(ts, TS_WRITER_Q), NULL);
turnstile_wakeup(ts, TS_WRITER_Q, 1, l);
turnstile_wakeup(ts, TS_WRITER_Q, wcnt, NULL);
turnstile_wakeup(ts, TS_READER_Q, rcnt, NULL);
turnstile_wakeup(ts, TS_READER_Q, rcnt, NULL);
void turnstile_wakeup(turnstile_t *, int, int, lwp_t *);