sem_name           47 kern/include/synch.h         char *sem_name;
sem_name           59 kern/thread/synch.c         sem->sem_name = kstrdup(name);
sem_name           60 kern/thread/synch.c         if (sem->sem_name == NULL) {
sem_name           65 kern/thread/synch.c 	sem->sem_wchan = wchan_create(sem->sem_name);
sem_name           67 kern/thread/synch.c 		kfree(sem->sem_name);
sem_name           86 kern/thread/synch.c         kfree(sem->sem_name);