cv                120 kern/include/synch.h struct cv *cv_create(const char *name);
cv                 52 kern/test/synchtest.c static struct cv *testcv = 0;
cv                 57 kern/test/synchtest.c static struct cv *testcv;
cv                213 kern/thread/synch.c struct cv *
cv                216 kern/thread/synch.c         struct cv *cv;
cv                218 kern/thread/synch.c         cv = kmalloc(sizeof(struct cv));
cv                219 kern/thread/synch.c         if (cv == NULL) {
cv                223 kern/thread/synch.c         cv->cv_name = kstrdup(name);
cv                224 kern/thread/synch.c         if (cv->cv_name==NULL) {
cv                225 kern/thread/synch.c                 kfree(cv);
cv                231 kern/thread/synch.c         return cv;
cv                237 kern/thread/synch.c         KASSERT(cv != NULL);
cv                241 kern/thread/synch.c         kfree(cv->cv_name);
cv                242 kern/thread/synch.c         kfree(cv);
cv                249 kern/thread/synch.c         (void)cv;    // suppress warning until code gets written
cv                257 kern/thread/synch.c 	(void)cv;    // suppress warning until code gets written
cv                265 kern/thread/synch.c 	(void)cv;    // suppress warning until code gets written