Symbol: cv_resched
lib/librumpuser/rumpfiber.c
959
cv_resched(mtx, nlocks);
lib/librumpuser/rumpfiber.c
984
cv_resched(mtx, nlocks);