RUMPUSER_RW_WRITER
case RUMPUSER_RW_WRITER:
case RUMPUSER_RW_WRITER:
case RUMPUSER_RW_WRITER:
case RUMPUSER_RW_WRITER:
case RUMPUSER_RW_WRITER:
case RUMPUSER_RW_WRITER:
case RUMPUSER_RW_WRITER:
case RUMPUSER_RW_WRITER:
return RUMPUSER_RW_WRITER;
rumpuser_rw_held(RUMPUSER_RW_WRITER, RUMPRW(rw), &rv);