int rw_read_held(krwlock_t *rw) { int rv; rumpuser_rw_held(RUMPUSER_RW_READER, RUMPRW(rw), &rv); return rv; }
int rw_write_held(krwlock_t *rw) { int rv; rumpuser_rw_held(RUMPUSER_RW_WRITER, RUMPRW(rw), &rv); return rv; }
int rw_lock_held(krwlock_t *rw) { return rumpuser_rw_held(rw->krw_pthlock); }