* Destroy a condition variable. The condition variable must be re-initialized * in order to be re-used. */
| 86 | * in order to be re-used. |
| 87 | */ |
| 88 | void |
| 89 | cv_destroy(struct cv *cvp) |
| 90 | { |
| 91 | #ifdef INVARIANTS |
| 92 | struct sleepqueue *sq; |
| 93 | |
| 94 | sleepq_lock(cvp); |
| 95 | sq = sleepq_lookup(cvp); |
| 96 | sleepq_release(cvp); |
| 97 | KASSERT(sq == NULL, ("%s: associated sleep queue non-empty", __func__)); |
| 98 | #endif |
| 99 | } |
| 100 | |
| 101 | /* |
| 102 | * Wait on a condition variable. The current thread is placed on the condition |
no test coverage detected