void rw_destroy(krwlock_t *rw) { UPRW(rw); rumpuser_cv_destroy(uprw->uprw_rucv_reader); rumpuser_cv_destroy(uprw->uprw_rucv_writer); rump_hyperfree(uprw, sizeof(*uprw)); }
void mutex_destroy(kmutex_t *mtx) { UPMTX(mtx); KASSERT(upm->upm_owner == NULL); KASSERT(upm->upm_wanted == 0); rumpuser_cv_destroy(upm->upm_rucv); rump_hyperfree(upm, sizeof(*upm)); }
void cv_destroy(kcondvar_t *cv) { rumpuser_cv_destroy(RUMPCV(cv)); }