mutex_owner
kthread_t *mutex_owner(kmutex_t *mutex)
mutex_owner returns the thread pointer of the current
owner of the specified adaptive kernel mutex. mutex_owner returns NULL if the specified adaptive mutex is currently unowned, or if
the specified mutex is a spin mutex. See mutex_owned(9F).