void rw_exit(krwlock_t *rw) { #ifdef LOCKDEBUG bool shared = !rw_write_held(rw); if (shared) KASSERT(rw_read_held(rw)); UNLOCKED(rw, shared); #endif rumpuser_rw_exit(RUMPRW(rw)); }
void rw_exit(krwlock_t *rw) { rumpuser_rw_exit(rw->krw_pthlock); }