GET_QUEUE_WAITERS 586 thread_sync.c VALUE waiters = GET_QUEUE_WAITERS(self); GET_QUEUE_WAITERS 623 thread_sync.c VALUE waiters = GET_QUEUE_WAITERS(self); GET_QUEUE_WAITERS 691 thread_sync.c wakeup_first_thread(GET_QUEUE_WAITERS(self)); GET_QUEUE_WAITERS 784 thread_sync.c args.waiting = GET_QUEUE_WAITERS(self);