docvwait
(void) docvwait(cv, mtx, NULL);
return docvwait(cv, mtx, NULL);
rv = docvwait(cv, mtx, &ts);