Lines Matching refs:futex_queue_count
194 static unsigned int futex_queue_count(const struct futex_queue *);
255 KASSERT(fc->fc_waitcount >= futex_queue_count(&fc->fc_waiters),
360 if (futex_queue_count(&fc->fc_waiters) != 0)
379 (futex_queue_count(&fl->fl_readers) == 0 &&
380 futex_queue_count(&fl->fl_writers) == 0),
444 KASSERT(futex_queue_count(&fw.fw_donated) == 0,
474 if (futex_queue_count(&fl->fl_readers) == 0 &&
475 futex_queue_count(&fl->fl_writers) == 0) {
668 if (futex_queue_count(&fl->fl_writers) > 0) {
670 if (futex_queue_count(&fl->fl_writers) > 1 ||
671 futex_queue_count(&fl->fl_readers) > 0) {
696 futex_queue_count(&fl->fl_readers));
717 futex_queue_count(donated) > 0);
721 KASSERT(futex_queue_count(donated) == 0 ||
741 KASSERT(futex_queue_count(&fw.fw_donated) == 0,
761 futex_queue_count(const struct futex_queue *fq)
1020 KASSERT(futex_queue_count(&fw.fw_donated) == 0,
1041 KASSERT(futex_queue_count(&fw.fw_donated) == 0,