void rw_destroy(krwlock_t *rw) { FREELOCK(rw); rumpuser_rw_destroy(RUMPRW(rw)); }
void rw_destroy(krwlock_t *rw) { rumpuser_rw_destroy(rw->krw_pthlock); }