lk_name            76 kern/include/synch.h         char *lk_name;
lk_name           160 kern/thread/synch.c         lock->lk_name = kstrdup(name);
lk_name           161 kern/thread/synch.c         if (lock->lk_name == NULL) {
lk_name           178 kern/thread/synch.c         kfree(lock->lk_name);