version 1.1.2.3, 2002/03/12 00:07:31 |
version 1.1.2.4, 2002/03/12 07:51:38 |
Line 229 mutex_vector_exit(kmutex_t *mtx) |
|
Line 229 mutex_vector_exit(kmutex_t *mtx) |
|
return; |
return; |
} |
} |
|
|
if (MUTEX_OWNER(mtx) != curproc) |
if (MUTEX_OWNER(mtx) != curproc) { |
panic("mutex_vector_exit: not owner"); |
if (MUTEX_OWNER(mtx) == NULL) |
|
panic("mutex_vector_exit: not owned"); |
|
else |
|
panic("mutex_vector_exit: not owner, owner = %p, " |
|
"current = %p", MUTEX_OWNER(mtx), curproc); |
|
} |
|
|
/* |
/* |
* Get this lock's turnstile. This gets the interlock on |
* Get this lock's turnstile. This gets the interlock on |