__mutex_owner
while (__mutex_owner(lock) == owner) {
owner = __mutex_owner(lock);
return __mutex_owner(lock) != NULL;
return __mutex_owner(lock);
owner = __mutex_owner(mutex);