ucv
rumpuser_cv_wait(lts.ucv, rump_giantlock);
rumpuser_cv_destroy(lts.ucv);
rumpuser_cv_broadcast(ltsp->ucv);
rumpuser_cv_init(<s.ucv);
rv = rumpuser_cv_timedwait(lts.ucv, rump_giantlock,