testcv             52 kern/test/synchtest.c static struct cv *testcv = 0;
testcv             57 kern/test/synchtest.c static struct cv *testcv;
testcv             69 kern/test/synchtest.c 	cv_destroy(testcv);
testcv             90 kern/test/synchtest.c 	if (testcv==NULL) {
testcv             92 kern/test/synchtest.c 		testcv = cv_create("testcv");
testcv             94 kern/test/synchtest.c 		testcv = cv_create("testlock");
testcv             96 kern/test/synchtest.c 		if (testcv == NULL) {
testcv            274 kern/test/synchtest.c 			cv_wait(testcv, testlock);
testcv            304 kern/test/synchtest.c 		cv_broadcast(testcv, testlock);