Rev 3022 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3022 | Rev 4537 | ||
---|---|---|---|
Line 413... | Line 413... | ||
413 | * recorded in the wait queue. |
413 | * recorded in the wait queue. |
414 | */ |
414 | */ |
415 | void _waitq_wakeup_unsafe(waitq_t *wq, wakeup_mode_t mode) |
415 | void _waitq_wakeup_unsafe(waitq_t *wq, wakeup_mode_t mode) |
416 | { |
416 | { |
417 | thread_t *t; |
417 | thread_t *t; |
418 | count_t count = 0; |
418 | size_t count = 0; |
419 | 419 | ||
420 | loop: |
420 | loop: |
421 | if (list_empty(&wq->head)) { |
421 | if (list_empty(&wq->head)) { |
422 | wq->missed_wakeups++; |
422 | wq->missed_wakeups++; |
423 | if (count && mode == WAKEUP_ALL) |
423 | if (count && mode == WAKEUP_ALL) |