Symbol: rumpuser_rw_downgrade
sys/rump/include/rump/rumpuser.h
210
void rumpuser_rw_downgrade(struct rumpuser_rw *);
sys/rump/librump/rumpkern/locks.c
322
rumpuser_rw_downgrade(RUMPRW(rw));