kmp               383 sys/sync/mutex.c mutex_copyin(mutex_t *ump, mutex_t *kmp)
kmp               403 sys/sync/mutex.c 	*kmp = m;