rumpuser_rw_held
void rumpuser_rw_held(int, struct rumpuser_rw *, int *);
rumpuser_rw_held(RUMPUSER_RW_READER, RUMPRW(rw), &rv);
rumpuser_rw_held(RUMPUSER_RW_WRITER, RUMPRW(rw), &rv);