rumpuser_cv_signal
void rumpuser_cv_signal(struct rumpuser_cv *);
rumpuser_cv_signal(sicpucv);
rumpuser_cv_signal(RUMPCV(cv));
rumpuser_cv_signal(upm->upm_rucv); /* CPU is our interlock */
rumpuser_cv_signal(uprw->uprw_rucv_writer);
rumpuser_cv_signal(uprw->uprw_rucv_reader);
rumpuser_cv_signal(RUMPCV(cv));
rumpuser_cv_signal(cv);
rumpuser_cv_signal(lwp0cv);