int mutex_owned(kmutex_t *mutex)
mutex_owned() is an implementation of mutex_owned(9F). mutex_owned() returns non-zero if the calling thread currently holds the specified kernel mutex, or zero if the specified adaptive mutex is currently unowned.