cv_create         120 kern/include/synch.h struct cv *cv_create(const char *name);
cv_create          92 kern/test/synchtest.c 		testcv = cv_create("testcv");
cv_create          94 kern/test/synchtest.c 		testcv = cv_create("testlock");