TS_WAITERS
TS_WAITERS(ts, TS_WRITER_Q), NULL);
turnstile_wakeup(ts, TS_WRITER_Q, TS_WAITERS(ts, TS_WRITER_Q), NULL);
wcnt = TS_WAITERS(ts, TS_WRITER_Q);
rcnt = TS_WAITERS(ts, TS_READER_Q);
rcnt = TS_WAITERS(ts, TS_READER_Q);
wcnt = TS_WAITERS(ts, TS_WRITER_Q);
KASSERT(count <= TS_WAITERS(ts, q));
(*pr)("=> %d waiting readers:", TS_WAITERS(ts, TS_READER_Q));
(*pr)("=> %d waiting writers:", TS_WAITERS(ts, TS_WRITER_Q));