cv_name           115 kern/include/synch.h         char *cv_name;
cv_name           223 kern/thread/synch.c         cv->cv_name = kstrdup(name);
cv_name           224 kern/thread/synch.c         if (cv->cv_name==NULL) {
cv_name           241 kern/thread/synch.c         kfree(cv->cv_name);